Dave A. D. Tompkins

12 papers A 4B 1Misc 1Unranked 6
YearRankTypeTitle / Venue / Authors
2014 — conf
Evaluating Instance Generators by Configuration.
LION
Sam Bayless, Dave A. D. Tompkins, Holger H. Hoos
2011 A conf
Captain Jack: New Variable Selection Heuristics in Local Search for SAT.
SAT
Dave A. D. Tompkins, Adrian Balint, Holger H. Hoos
2010 A conf
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT.
SAT
Dave A. D. Tompkins, Holger H. Hoos
2006 — conf
On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT.
Canadian AI
Dave A. D. Tompkins, Holger H. Hoos
2004 A conf
UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT.
SAT
Dave A. D. Tompkins, Holger H. Hoos
2004 — conf
UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT.
SAT (Selected Papers
Dave A. D. Tompkins, Holger H. Hoos
2004 — conf
Warped Landscapes and Random Acts of SAT Solving.
AI&M
Dave A. D. Tompkins, Holger H. Hoos
2003 Misc conf
Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT.
AI
Dave A. D. Tompkins, Holger H. Hoos
2002 A conf
Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT.
CP
Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos
1999 — conf
A Fast Segmentation Algorithm for Bi-Level Image Compression Using JBIG2.
ICIP (1)
Dave A. D. Tompkins, Faouzi Kossentini
1999 B conf
Lossless JBIG2 Coding Performance.
Data Compression Conference
Dave A. D. Tompkins, Faouzi Kossentini
1999 — conf
Lossy Compression of Stochastic Halftones with JBIG2.
ICIP (1)
Magesh Valliappan, Brian L. Evans, Dave A. D. Tompkins, Faouzi Kossentini