Lossless JBIG2 Coding Performance. - Dave A. D. Tompkins; Faouzi Kossentini (Data Compression Conference, 1999)

A Fast Segmentation Algorithm for Bi-Level Image Compression Using JBIG2. - Dave A. D. Tompkins; Faouzi Kossentini (ICIP (1), 1999)

Lossy Compression of Stochastic Halftones with JBIG2. - Magesh Valliappan; Brian L. Evans; Dave A. D. Tompkins; Faouzi Kossentini (ICIP (1), 1999)

Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT. - Frank Hutter; Dave A. D. Tompkins; Holger H. Hoos (CP, 2002)

Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT. - Dave A. D. Tompkins; Holger H. Hoos (AI, 2003)

Warped Landscapes and Random Acts of SAT Solving. - Dave A. D. Tompkins; Holger H. Hoos (AI&M, 2004)

UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT. - Dave A. D. Tompkins; Holger H. Hoos (SAT, 2004)

UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT. - Dave A. D. Tompkins; Holger H. Hoos (SAT (Selected Papers, 2004)

On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT. - Dave A. D. Tompkins; Holger H. Hoos (Canadian AI, 2006)

Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT. - Dave A. D. Tompkins; Holger H. Hoos (SAT, 2010)

Captain Jack: New Variable Selection Heuristics in Local Search for SAT. - Dave A. D. Tompkins; Adrian Balint; Holger H. Hoos (SAT, 2011)

Evaluating Instance Generators by Configuration. - Sam Bayless; Dave A. D. Tompkins; Holger H. Hoos (LION, 2014)