Dave A. D. Tompkins

Publication Activity (10 Years)

Years Active: 1999-2014
Publications (10 Years): 0

Top Topics

Optimal Configuration

Top Venues

Publications

Sam Bayless, Dave A. D. Tompkins, Holger H. Hoos
Evaluating Instance Generators by Configuration. LION (2014)
Dave A. D. Tompkins, Adrian Balint, Holger H. Hoos
Captain Jack: New Variable Selection Heuristics in Local Search for SAT. SAT (2011)
Dave A. D. Tompkins, Holger H. Hoos
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT. SAT (2010)
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)
Dave A. D. Tompkins, Holger H. Hoos
Warped Landscapes and Random Acts of SAT Solving. AI&M (2004)
Dave A. D. Tompkins, Holger H. Hoos
UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT. SAT (2004)
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)
Dave A. D. Tompkins, Holger H. Hoos
Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT. Canadian Conference on AI (2003)
Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos
Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT. CP (2002)
Dave A. D. Tompkins, Faouzi Kossentini
A Fast Segmentation Algorithm for Bi-Level Image Compression Using JBIG2. ICIP (1) (1999)
Dave A. D. Tompkins, Faouzi Kossentini
Lossless JBIG2 Coding Performance. Data Compression Conference (1999)
Magesh Valliappan, Brian L. Evans, Dave A. D. Tompkins, Faouzi Kossentini
Lossy Compression of Stochastic Halftones with JBIG2. ICIP (1) (1999)