Dave A. D. Tompkins

According to our database, Dave A. D. Tompkins authored at least 12 papers between 1999 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Evaluating Instance Generators by Configuration.

Sam Bayless, Dave A. D. Tompkins, Holger H. Hoos

Proceedings of the Learning and Intelligent Optimization, 2014

2011

Captain Jack: New Variable Selection Heuristics in Local Search for SAT.

Dave A. D. Tompkins, Adrian Balint, Holger H. Hoos

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

2010

Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT.

Dave A. D. Tompkins, Holger H. Hoos

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

2006

On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT.

Dave A. D. Tompkins, Holger H. Hoos

Proceedings of the Advances in Artificial Intelligence, 2006

2004

UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT.

Dave A. D. Tompkins, Holger H. Hoos

Proceedings of the Theory and Applications of Satisfiability Testing, 2004

UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT.

Dave A. D. Tompkins, Holger H. Hoos

Proceedings of the SAT 2004, 2004

Warped Landscapes and Random Acts of SAT Solving.

Dave A. D. Tompkins, Holger H. Hoos

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2004

2003

Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT.

Dave A. D. Tompkins, Holger H. Hoos

Proceedings of the Advances in Artificial Intelligence, 2003

2002

Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT.

Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos

Proceedings of the Principles and Practice of Constraint Programming, 2002

1999

Lossy Compression of Stochastic Halftones with JBIG2.

Magesh Valliappan, Brian L. Evans, Dave A. D. Tompkins, Faouzi Kossentini

Proceedings of the 1999 International Conference on Image Processing, 1999

A Fast Segmentation Algorithm for Bi-Level Image Compression Using JBIG2.

Dave A. D. Tompkins, Faouzi Kossentini

Proceedings of the 1999 International Conference on Image Processing, 1999

Lossless JBIG2 Coding Performance.

Dave A. D. Tompkins, Faouzi Kossentini

Proceedings of the Data Compression Conference, 1999