| 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 | 302 | 2002 |
| 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 | 209 | 2005 |
| 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 | 54 | 2011 |
| Warped Landscapes and Random Acts of SAT Solving. DAD Tompkins, HH Hoos AI&M, 2004 | 38 | 2004 |
| A fast segmentation algorithm for bi-level image compression using JBIG2 DAD Tompkins, F Kossentini Proceedings 1999 International Conference on Image Processing (Cat …, 1999 | 37 | 1999 |
| 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 | 26 | 2010 |
| Lossy compression of stochastic halftones with JBIG2 M Valliappan, BL Evans, DAD Tompkins, F Kossentini Proceedings 1999 International Conference on Image Processing (Cat …, 1999 | 24 | 1999 |
| 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 | 21 | 2003 |
| 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 | 14 | 2006 |
| Novelty+ and adaptive novelty+ DAD Tompkins, HH Hoos SAT, 2004 | 12 | 2004 |
| Sparrow2011 A Balint, A Fröhlich, D Tompkins, HH Hoos Booklet of SAT-2011 Competition, 2011 | 10 | 2011 |
| Adaptive novelty+ HH Hoos, DAD Tompkins Solver Description, SAT Competition, 2007 | 7 | 2007 |
| Evaluating instance generators by configuration S Bayless, DAD Tompkins, HH Hoos International Conference on Learning and Intelligent Optimization, 47-61, 2014 | 6 | 2014 |
| Dynamic local search for SAT: design, insights and analysis DAD Tompkins University of British Columbia, 2010 | 6 | 2010 |
| Rsaps: Reactive scaling and probabilistic smoothing F Hutter, D Tompkins, HH Hoos CP, 2002 | 6 | 2002 |
| Scaling and probabilistic smoothing (saps) DAD Tompkins, F Hutter, HH Hoos SAT, 2004 | 4 | 2004 |
| Rate control in bi-level image coding DAD Tompkins University of British Columbia, 2000 | 3 | 2000 |
| Lossless JBIG2 coding performance DAD Tompkins, F Kossentini Proceedings DCC'99 Data Compression Conference (Cat. No. PR00096), 553, 1999 | 2 | 1999 |
| Bi-Level Image Compression D Tompkins The University of British Colombia V. Kyrki “JBIG image compression standard, 1999 | 2 | 1999 |
| OPERATING BUDGET 2020-2021-City of Lewisville, TX DA Tompkins City of Lewisville, Texas, 2020 | | 2020 |
