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
International Conference on Principles and Practice of Constraint …, 2002
2392002
UBCSAT: An implementation and experimentation environment for SLS algorithms for SAT and MAX-SAT
DAD Tompkins, HH Hoos
International conference on theory and applications of satisfiability …, 2004
1892004
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
482011
Warped Landscapes and Random Acts of SAT Solving.
DAD Tompkins, HH Hoos
ISAIM, 2004
372004
A fast segmentation algorithm for bi-level image compression using JBIG2
DAD Tompkins, F Kossentini
Proceedings 1999 International Conference on Image Processing (Cat …, 1999
331999
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
252010
Scaling and probabilistic smoothing: Dynamic local search for unweighted MAX-SAT
DAD Tompkins, HH Hoos
Conference of the Canadian Society for Computational Studies of Intelligence …, 2003
192003
Lossy compression of stochastic halftones with JBIG2
M Valliappan, BL Evans, DAD Tompkins, F Kossentini
Proceedings 1999 International Conference on Image Processing (Cat …, 1999
191999
On the quality and quantity of random decisions in stochastic local search for sat
DAD Tompkins, HH Hoos
Conference of the Canadian Society for Computational Studies of Intelligence …, 2006
122006
Sparrow2011
A Balint, A Fröhlich, DAD Tompkins, HH Hoos
102011
Novelty+ and adaptive novelty+
DAD Tompkins, HH Hoos
SAT, 2004
102004
Evaluating instance generators by configuration
S Bayless, DAD Tompkins, HH Hoos
International Conference on Learning and Intelligent Optimization, 47-61, 2014
52014
Adaptive novelty+
HH Hoos, DAD Tompkins
SAT Competition, 2007
52007
Rsaps: Reactive scaling and probabilistic smoothing
F Hutter, D Tompkins, HH Hoos
CP, 2002
52002
Scaling and probabilistic smoothing (saps)
DAD Tompkins, F Hutter, HH Hoos
SAT, 2004
42004
Dynamic local search for SAT: design, insights and analysis
DAD Tompkins
University of British Columbia, 2010
32010
Rate control in bi-level image coding
DAD Tompkins
University of British Columbia, 2000
32000
Bi-Level Image Compression
D Tompkins
The University of British Colombia V. Kyrki “JBIG image compression standard, 1999
21999
Lossless JBIG2 coding performance
DAD Tompkins, F Kossentini
Proceedings DCC'99 Data Compression Conference (Cat. No. PR00096), 553, 1999
11999
Dynamic Local Search: SAT and Beyond
DAD Tompkins
UNIVERSITY OF BRITISH COLUMBIA, 2003
2003
The system can't perform the operation now. Try again later.
Articles 1–20