Dave A. D. Tompkins :: Publications

This is a list of my publications, including technical reports, posters, and other works.

This page is automatically generated from dadt-papers.bib, which contains verbose and extended BibTeX entries (including acceptance rate information) for all of the following:

2014Sam Bayless, Dave A. D. Tompkins, and Holger H. Hoos
Evaluating Instance Generators by Configuration
In Proceedings of the Eighth International Conference on Learning and Intelligent Optimization (LION-14), volume 8426 of Lecture Notes in Computer Science, pages 47–61, 2014.
[.pdf] [doi]
2012Dave A. D. Tompkins
MAX-SAT 2012: ubcsat-irots
Solver Description, MAX-SAT 2012 Competition Booklet, 2012.
[.pdf] (Won Several Categories in the Incomplete Solver Track)
2011Dave A. D. Tompkins, Adrian Balint, and Holger H. Hoos
Captain Jack: New Variable Selection Heuristics in Local Search for SAT
In Proceedings of the Fourteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2011), volume 6695 of Lecture Notes in Computer Science, pages 302–316, 2011.
[.pdf] [doi] [website] [slides]
Adrian Balint, Andreas Fröhlich, Dave A. D. Tompkins, and Holger H. Hoos
Sparrow2011
Solver Description, SAT 2011 Competition Booklet, 2011.
[.pdf] (Won 2 Gold Medals -- 2011)
2010Dave A. D. Tompkins
Dynamic Local Search for SAT: Design, Insights and Analysis
PhD Thesis, University of British Columbia, October 2010.
[.pdf] [doi] [b&w version] [slides] [license]
Dave A. D. Tompkins and Holger H. Hoos
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT
In Proceedings of the Thirteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2010), volume 6175 of Lecture Notes in Computer Science, pages 278–292, 2010.
[.pdf] [doi] [online appendix] [instances] [slides]
2006Dave A. D. Tompkins and Holger H. Hoos
On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT
In Proceedings of the Nineteenth Conference of the Canadian Society for Computational Studies of Intelligence (AI 2006), volume 4013 of Lecture Notes in Artificial Intelligence, pages 146–158, 2006.
[.pdf] [doi] [slides] (Best Paper Award)
2005Dave A. D. Tompkins and Holger H. Hoos
UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT
In Revised Selected Papers from the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004), volume 3542 of Lecture Notes in Computer Science, pages 306–320, 2005.
[.pdf] [doi] [website] [slides]
2004Holger H. Hoos and Dave A. D. Tompkins
Novelty+ and Adaptive Novelty+
Solver Description, SAT 2004 Competition Booklet, 2004.
[.pdf] [2005 reprint] [2007 reprint] (Won 2 Gold Medals -- 2004)
Dave A. D. Tompkins, Frank Hutter, and Holger H. Hoos
Scaling and Probabilistic Smoothing (SAPS)
Solver Description, SAT 2004 Competition Booklet, 2004.
[.pdf] [2005 reprint] [2007 reprint] (Won 2 Silver Medals -- 2004)
Dave A. D. Tompkins and Holger H.Hoos
Warped Landscapes and Random Acts of SAT Solving
In Proceedings of the Eighth International Symposium on Artificial Intelligence and Mathematics (AI&MATH 2004), 2004.
[.pdf] [slides]
2003Dave A. D. Tompkins and Holger H. Hoos
Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT
In Proceedings of the Sixteenth Conference of the Canadian Society for Computational Studies of Intelligence (AI 2003), volume 2671 of Lecture Notes in Artificial Intelligence, pages 145–159, 2003.
[.pdf] [doi] [slides]
Dave Tompkins
Dynamic Local Search for SAT
Poster, British Columbia Advanced Systems Institute Exchange, 2003.
[.pdf] (Best Poster Award)
2002Frank Hutter, Dave A. D. Tompkins, and Holger H. Hoos
Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT
In Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming (CP 2002), volume 2470 of Lecture Notes in Computer Science, pages 233–248, 2002.
[.pdf] [doi] [errata]
2000Dave A. D. Tompkins
Rate Control in Bi-Level Image Coding
Master of Applied Science, University of British Columbia, August 2000.
[.pdf] [doi]
1999Magesh Valliappan, Brian L. Evans, Dave A. D. Tompkins, and Faouzi Kossentini
Lossy Compression of Stochastic Halftones with JBIG2
In Proceedings of the 1999 IEEE International Conference on Image Processing (ICIP 1999), volume 1, pages 214–218, 1999.
[.pdf] [doi] (Invited Paper)
Dave A. D. Tompkins and Faouzi Kossentini
A Fast Segmentation Algorithm for Bi-Level Image Compression Using JBIG2
In Proceedings of the 1999 IEEE International Conference on Image Processing (ICIP 1999), volume 1, pages 224–228, 1999.
[.pdf] [doi] [slides] (Invited Paper)
Dave A. D. Tompkins and Faouzi Kossentini
Lossless JBIG2 coding performance
In Proceedings of the 1999 Data Compression Conference (DCC 1999), page 553, 1999. (abstract).
[.pdf] [doi]
Dave Tompkins and Faouzi Kossentini
JBIG2 Halftones: Analysis and Considerations for T.89
Technical Submission, ITU-T SG8, November 1999.
[.pdf]
Dave Tompkins and Faouzi Kossentini
Additional Extension Segments in JBIG2
Technical Report N1318, ISO/IEC JTC1 SC29 WG1, July 1999.
[.pdf]
Dave Tompkins
Document Image Compression
Poster, British Columbia Advanced Systems Institute Exchange, 1999.
[.pdf] (Best Poster Award)
1998Faouzi Kossentini, Dave Tompkins, Soeren Forchhammer, Bo Martins, Ole Jensen, Ian Caven, and Paul Howard
JBIG-Like Coding of Bi-Level Image Data in JPEG-2000
Technical Report N1014, ISO/IEC JTC1 SC29 WG1, October 1998.
[.pdf]
Dave Tompkins and Faouzi Kossentini
Coding of Numerical Data in JBIG-2
Technical Report N862, ISO/IEC JTC1 SC29 WG1, July 1998.
[.pdf]