| 2006 |
|---|
| 9 | EE | Dave A. D. Tompkins,
Holger H. Hoos:
On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT.
Canadian Conference on AI 2006: 146-158 |
| 2004 |
|---|
| 8 | EE | Dave A. D. Tompkins,
Holger H. Hoos:
Warped Landscapes and Random Acts of SAT Solving.
AMAI 2004 |
| 7 | EE | Dave A. D. Tompkins,
Holger H. Hoos:
UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT.
SAT 2004 |
| 6 | EE | Dave A. D. Tompkins,
Holger H. Hoos:
UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT.
SAT (Selected Papers 2004: 306-320 |
| 2003 |
|---|
| 5 | EE | Dave A. D. Tompkins,
Holger H. Hoos:
Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT.
Canadian Conference on AI 2003: 145-159 |
| 2002 |
|---|
| 4 | EE | Frank Hutter,
Dave A. D. Tompkins,
Holger H. Hoos:
Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT.
CP 2002: 233-248 |
| 1999 |
|---|
| 3 | EE | Dave A. D. Tompkins,
Faouzi Kossentini:
Lossless JBIG2 Coding Performance.
Data Compression Conference 1999: 553 |
| 2 | | Magesh Valliappan,
Brian L. Evans,
Dave A. D. Tompkins,
Faouzi Kossentini:
Lossy Compression of Stochastic Halftones with JBIG2.
ICIP (1) 1999: 214-218 |
| 1 | | Dave A. D. Tompkins,
Faouzi Kossentini:
A Fast Segmentation Algorithm for Bi-Level Image Compression Using JBIG2.
ICIP (1) 1999: 224-228 |
