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:
| 2014 | Sam 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] |
| 2012 | Dave 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) |
| 2011 | Dave 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) | |
| 2010 | Dave 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] | |
| 2006 | Dave 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) |
| 2005 | Dave 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] |
| 2004 | Holger 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] | |
| 2003 | Dave 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) | |
| 2002 | Frank 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] |
| 2000 | Dave A. D. Tompkins Rate Control in Bi-Level Image Coding Master of Applied Science, University of British Columbia, August 2000. [.pdf] [doi] |
| 1999 | Magesh 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) | |
| 1998 | Faouzi 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] |