| 2011 | SAT | Captain Jack: New Variable Selection Heuristics in Local Search for SAT. | Dave A. D. Tompkins, Adrian Balint, Holger H. Hoos |
| 2010 | SAT | Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT. | Dave A. D. Tompkins, Holger H. Hoos |
| 2006 | AI | On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT. | Dave A. D. Tompkins, Holger H. Hoos |
| 2004 | ISAIM | Warped Landscapes and Random Acts of SAT Solving. | Dave A. D. Tompkins, Holger H. Hoos |
| 2004 | SAT | UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT. | Dave A. D. Tompkins, Holger H. Hoos |
| 2004 | SAT | UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT. | Dave A. D. Tompkins, Holger H. Hoos |
| 2003 | AI | Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT. | Dave A. D. Tompkins, Holger H. Hoos |
| 2002 | CP | Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT. | Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos |
| 1999 | DCC | Lossless JBIG2 Coding Performance. | Dave A. D. Tompkins, Faouzi Kossentini |
| 1999 | ICIP | A Fast Segmentation Algorithm for Bi-Level Image Compression Using JBIG2. | Dave A. D. Tompkins, Faouzi Kossentini |
| 1999 | ICIP | Lossy Compression of Stochastic Halftones with JBIG2. | Magesh Valliappan, Brian L. Evans, Dave A. D. Tompkins, Faouzi Kossentini |