Follow
Dave A. D. Tompkins
Dave A. D. Tompkins
Lecturer, Computer Science, University of Waterloo
Verified email at uwaterloo.ca - Homepage
Title
Cited by
Cited by
Year
Scaling and probabilistic smoothing: Efficient dynamic local search for SAT
F Hutter, DAD Tompkins, HH Hoos
Principles and Practice of Constraint Programming-CP 2002: 8th International …, 2002
2982002
UBCSAT: An implementation and experimentation environment for SLS algorithms for SAT and MAX-SAT
DAD Tompkins, HH Hoos
Theory and Applications of Satisfiability Testing: 7th International …, 2005
2052005
Captain jack: New variable selection heuristics in local search for SAT
DAD Tompkins, A Balint, HH Hoos
International Conference on Theory and Applications of Satisfiability …, 2011
542011
Warped Landscapes and Random Acts of SAT Solving.
DAD Tompkins, HH Hoos
AI&M, 2004
382004
A fast segmentation algorithm for bi-level image compression using JBIG2
DAD Tompkins, F Kossentini
Proceedings 1999 International Conference on Image Processing (Cat …, 1999
381999
Dynamic scoring functions with variable expressions: New SLS methods for solving SAT
DAD Tompkins, HH Hoos
International Conference on Theory and Applications of Satisfiability …, 2010
272010
Lossy compression of stochastic halftones with JBIG2
M Valliappan, BL Evans, DAD Tompkins, F Kossentini
Proceedings 1999 International Conference on Image Processing (Cat …, 1999
241999
Scaling and probabilistic smoothing: Dynamic local search for unweighted MAX-SAT
DAD Tompkins, HH Hoos
Advances in Artificial Intelligence: 16th Conference of the Canadian Society …, 2003
212003
On the quality and quantity of random decisions in stochastic local search for sat
DAD Tompkins, HH Hoos
Advances in Artificial Intelligence: 19th Conference of the Canadian Society …, 2006
142006
Novelty+ and adaptive novelty+
DAD Tompkins, HH Hoos
SAT, 2004
122004
Sparrow2011
A Balint, A Fröhlich, D Tompkins, HH Hoos
Booklet of SAT-2011 Competition, 2011
102011
Adaptive novelty+
HH Hoos, DAD Tompkins
Solver Description, SAT Competition, 2007
72007
Evaluating instance generators by configuration
S Bayless, DAD Tompkins, HH Hoos
International Conference on Learning and Intelligent Optimization, 47-61, 2014
62014
Dynamic local search for SAT: design, insights and analysis
DAD Tompkins
University of British Columbia, 2010
62010
Rsaps: Reactive scaling and probabilistic smoothing
F Hutter, D Tompkins, HH Hoos
CP, 2002
62002
Scaling and probabilistic smoothing (saps)
DAD Tompkins, F Hutter, HH Hoos
SAT, 2004
42004
Rate control in bi-level image coding
DAD Tompkins
University of British Columbia, 2000
32000
Lossless JBIG2 coding performance
DAD Tompkins, F Kossentini
Proceedings DCC'99 Data Compression Conference (Cat. No. PR00096), 553, 1999
21999
Bi-Level Image Compression
D Tompkins
The University of British Colombia V. Kyrki “JBIG image compression standard, 1999
21999
OPERATING BUDGET 2020-2021-City of Lewisville, TX
DA Tompkins
City of Lewisville, Texas, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20