% Dave A. D. Tompkins :: Publications
%
% Sorted by date, most recent at the top
%
% These entries are quite verbose... trim them for your own use
%
% They also include some of my own custom fields (ignored by BibTeX) for generating my web page
%
% to obtain a url from the DOI, prefix it with http://dx.doi.org/
%

@inproceedings {lion14-geneval,
  author =        "Sam Bayless and Dave A. D. Tompkins and Holger H. Hoos",
  title =         "Evaluating Instance Generators by Configuration",
  booktitle =     "Proceedings of the Eighth International Conference on Learning and Intelligent Optimization {(LION-14)}",
  pages =         "47--61",
  year =          "2014",
  series =        "Lecture Notes in Computer Science",
  volume =        "8426",
  editor =        "Panos M. Pardalos and Mauricio G. C. Resende and Chrysafis Vogiatzis and Jose L. Walteros",
  publisher =     "Springer Berlin / Heidelberg",
  doi =           "10.1007/978-3-319-09584-4_6",
  isbn =          "978-3-319-09583-7",
  acceptrate =    "24/50"
}

@booklet {maxsatcomp12-irots,
  author =        "Dave A. D. Tompkins",
  title =         "{MAX-SAT} 2012: ubcsat-irots",
  howpublished =  "Solver Description, MAX-SAT 2012 Competition Booklet",
  year =          "2012",
  awards =        "Won Several Categories in the Incomplete Solver Track"
}

@inproceedings {sat11-jack,
  author =        "Dave A. D. Tompkins and Adrian Balint and Holger H. Hoos",
  title =         "{C}aptain {J}ack: New Variable Selection Heuristics in Local Search for {SAT}",
  booktitle =     "Proceedings of the Fourteenth International Conference on Theory and Applications of Satisfiability Testing ({SAT 2011})",
  pages =         "302--316",  
  year =          "2011",
  series =        "Lecture Notes in Computer Science",
  volume =        "6695",
  editor =        "Karem Sakallah and Laurent Simon",
  publisher =     "Springer Berlin / Heidelberg",
  doi =           "10.1007/978-3-642-21581-0_24",
  isbn =          "978-3-642-21580-3",
  extrainfo =     "[website]<http://www.cs.ubc.ca/research/captain-jack/>[slides]<sat11-jack-talk.pdf>",
  acceptrate =    "25/57"
}

@booklet {satcomp11-sparrow,
  author =        "Adrian Balint and Andreas Fr{\"o}hlich and Dave A. D. Tompkins and Holger H. Hoos",
  title =         "Sparrow2011",
  howpublished =  "Solver Description, SAT 2011 Competition Booklet",
  year =          "2011",
  awards =        "Won 2 Gold Medals -- 2011"
}

@phdthesis {dadt-phd,
  author =        "Dave A. D. Tompkins",
  title =         "Dynamic Local Search for {SAT}: Design, Insights and Analysis",
  school =        "University of British Columbia",
  year =          "2010",
  month =         "October",
  type =          "{P}h{D} {T}hesis",
  doi =           "2429/29538",
  extrainfo =     "[b&amp;w version]<dadt-phd-bw.pdf>[slides]<dadt-phd-talk.pdf>[license]<http://creativecommons.org/licenses/by-nc-nd/3.0/>"
}

@inproceedings {sat10-dave,
  author =        "Dave A. D. Tompkins and Holger H. Hoos",
  title =         "Dynamic Scoring Functions with Variable Expressions: New {SLS} Methods for Solving {SAT}",
  booktitle =     "Proceedings of the Thirteenth International Conference on Theory and Applications of Satisfiability Testing ({SAT 2010})",
  pages =         "278--292",  
  year =          "2010",
  series =        "Lecture Notes in Computer Science",
  volume =        "6175",
  editor =        "Ofer Strichman and Stefan Szeider",  
  publisher =     "Springer Berlin / Heidelberg",
  doi =           "10.1007/978-3-642-14186-7_23",
  isbn =          "978-3-642-14186-7",
  extrainfo =     "[online appendix]<sat10-dave-appendix.pdf>[instances]<sat10-dave-instances.zip>[slides]<sat10-dave-talk.pdf>",
  acceptrate =    "21/56"
}


@inproceedings {ccai06-random,
  author =        "Dave A. D. Tompkins and Holger H. Hoos",
  title =         "On the Quality and Quantity of Random Decisions in Stochastic Local Search for {SAT}",
  booktitle =     "Proceedings of the Nineteenth Conference of the Canadian Society for Computational Studies of Intelligence ({AI 2006})",
  pages =         "146--158",
  year =          "2006",  
  series =        "Lecture Notes in Artificial Intelligence",
  volume =        "4013",
  editor =        "Luc Lamontagne and Mario Marchand",  
  publisher =     "Springer Berlin / Heidelberg",
  doi =           "10.1007/11766247_13",
  isbn =          "978-3-540-34628-9",
  awards =        "Best Paper Award",
  extrainfo =     "[slides]<ccai06-random-talk.pdf>",
  acceptrate =    "47/220"
}

@inproceedings {sat04proc-ubcsat,
  author =        "Dave A. D. Tompkins and Holger H. Hoos",
  title =         "{UBCSAT}: An Implementation and Experimentation Environment for {SLS} Algorithms for {SAT} and {MAX-SAT}",
  booktitle =     "Revised Selected Papers from the Seventh International Conference on Theory and Applications of Satisfiability Testing ({SAT 2004})",
  pages =         "306--320",
  year =          "2005",
  editor =        "Holger Hoos and David Mitchell",
  series =        "Lecture Notes in Computer Science",
  volume =        "3542",
  publisher =     "Springer Berlin / Heidelberg",
  doi =           "10.1007/11527695_24",
  isbn =          "978-3-540-27829-0",
  extrainfo =     "[website]<http://www.cs.ubc.ca/research/ubcsat/>[slides]<sat04-ubcsat-talk.pdf>",
  acceptrate =    "24/72"
}

@booklet {satcomp04-novp,
  author =        "Holger H. Hoos and Dave A. D. Tompkins",
  title =         "{N}ovelty$^+$ and {A}daptive {N}ovelty$^+$",
  howpublished =  "Solver Description, SAT 2004 Competition Booklet",
  year =          "2004",
  awards =        "Won 2 Gold Medals -- 2004",
  extrainfo =     "[2005 reprint]<satcomp05-novp.pdf>[2007 reprint]<satcomp07-novp.pdf>"
}

@booklet {satcomp04-saps,
  author =        "Dave A. D. Tompkins and Frank Hutter and Holger H. Hoos",
  title =         "Scaling and {P}robabilistic {S}moothing ({SAPS})",
  howpublished =  "Solver Description, SAT 2004 Competition Booklet",
  year =          "2004",
  awards =        "Won 2 Silver Medals -- 2004",
  extrainfo =     "[2005 reprint]<satcomp05-saps.pdf>[2007 reprint]<satcomp07-saps.pdf>"
}

@inproceedings {isaim04-warped,
  author =        "Dave A. D. Tompkins and Holger H.Hoos",
  title =         "Warped Landscapes and Random Acts of {SAT} Solving",
  booktitle =     "Proceedings of the Eighth International Symposium on Artificial Intelligence and Mathematics ({AI\&MATH 2004})",
  year =          "2004",
  extrainfo =     "[slides]<isaim04-warped-talk.pdf>",
  acceptrate =    "30/64"
}

@inproceedings {ccai03-saps,
  author =        "Dave A. D. Tompkins and Holger H. Hoos",
  title =         "Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted {MAX-SAT}",
  booktitle =     "Proceedings of the Sixteenth Conference of the Canadian Society for Computational Studies of Intelligence ({AI 2003})",
  year =          "2003",
  pages =         "145--159",
  editor =        "Yang Xiang and Brahim Chaib-draa",
  series =        "Lecture Notes in Artificial Intelligence",
  volume =        "2671",
  publisher =     "Springer Berlin / Heidelberg",
  doi =           "10.1007/3-540-44886-1_13",
  isbn =          "3-540-40300-0",
  extrainfo =     "[slides]<ccai03-saps-talk.pdf>",
  acceptrate =    "30/106"
}

@misc {asi03-dls4sat,
  author =        "Dave Tompkins",
  title =         "Dynamic Local Search for {SAT}",
  howpublished =  "Poster, British Columbia Advanced Systems Institute Exchange",
  year =          "2003",
  awards =        "Best Poster Award"
}

@inproceedings {cp02-saps,
  author =        "Frank Hutter and Dave A. D. Tompkins and Holger H. Hoos",
  title =         "Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for {SAT}",
  booktitle =     "Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming ({CP 2002})",
  year =          "2002",
  pages =         "233--248",
  series =        "Lecture Notes in Computer Science",
  volume =        "2470",
  editor =        "Pascal Van Hentenryck",  
  publisher =     "Springer Berlin / Heidelberg",
  doi =           "10.1007/3-540-46135-3_16",
  isbn =          "3-540-44120-4",
  extrainfo =     "[errata]<errata.html>",
  acceptrate =    "44/146"
}

@mastersthesis {dadt-masc,
  author =        "Dave A. D. Tompkins",
  title =         "Rate Control in Bi-Level Image Coding",
  school =        "University of British Columbia",
  year =          "2000",
  type =          "Master of {A}pplied {S}cience",
  month =         "August",  
  doi =           "2429/10989"
}

@inproceedings {icip99-stochastichalftone,
  author =        "Magesh Valliappan and Brian L. Evans and Dave A. D. Tompkins and Faouzi Kossentini",
  title =         "Lossy Compression of Stochastic Halftones with {JBIG2}",
  booktitle =     "Proceedings of the 1999 IEEE International Conference on Image Processing ({ICIP 1999})",
  year =          "1999",
  volume =        "1",
  pages =         "214--218",
  publisher =     "IEEE Computer Society Press",
  doi =           "10.1109/ICIP.1999.821600",
  isbn =          "0-7803-5467-2",
  special =       "Invited Paper"
}

@inproceedings {icip99-fastsegmentation,
  author =        "Dave A. D. Tompkins and Faouzi Kossentini",
  title =         "A Fast Segmentation Algorithm for Bi-Level Image Compression Using {JBIG2}",
  booktitle =     "Proceedings of the 1999 IEEE International Conference on Image Processing ({ICIP 1999})",
  year =          "1999",
  volume =        "1",
  pages =         "224--228",
  publisher =     "IEEE Computer Society Press",
  doi =           "10.1109/ICIP.1999.821602",
  isbn =          "0-7803-5467-2",
  special =       "Invited Paper",
  extrainfo =     "[slides]<icip99-fastsegmentation-talk.pdf>"
}

@inproceedings {dcc99-losslessjbig2,
  author =        "Dave A. D. Tompkins and Faouzi Kossentini",
  title =         "Lossless {JBIG2} coding performance",
  booktitle =     "Proceedings of the 1999 Data Compression Conference ({DCC 1999})",
  year =          "1999",
  pages =         "553",
  note =          "(abstract)",  
  editor =        "James A. Storer and Martin Cohn",
  publisher =     "IEEE Computer Society Press",
  doi =           "10.1109/DCC.1999.785710",
  isbn =          "0-7695-0096-X",
}

@misc {t89-halftone,
  author =        "Dave Tompkins and Faouzi Kossentini",
  title =         "{JBIG2} Halftones: Analysis and Considerations for {T}.89",
  howpublished =  "Technical Submission, ITU-T SG8",
  month =         "November",
  year =          "1999"
}

@techreport {sc29wg1-n1318,
  author =        "Dave Tompkins and Faouzi Kossentini",
  title =         "Additional Extension Segments in {JBIG2}",
  institution =   "ISO/IEC JTC1 SC29 WG1",
  number =        "N1318",
  month =         "July",
  year =          "1999"
}

@misc {asi99-jbig2,
  author =        "Dave Tompkins",
  title =         "Document Image Compression",
  howpublished =  "Poster, British Columbia Advanced Systems Institute Exchange",
  year =          "1999",
  awards =        "Best Poster Award"
}

@techreport {sc29wg1-n1014,
  author =        "Faouzi Kossentini and Dave Tompkins and Soeren Forchhammer and Bo Martins and Ole Jensen and Ian Caven and Paul Howard",
  title =         "{JBIG}-Like Coding of Bi-Level Image Data in {JPEG}-2000",
  institution =   "ISO/IEC JTC1 SC29 WG1",
  number =        "N1014",
  month =         "October",
  year =          "1998"
}

@techreport {sc29wg1-n862,
  author =        "Dave Tompkins and Faouzi Kossentini",
  title =         "Coding of Numerical Data in {JBIG}-2",
  institution =   "ISO/IEC JTC1 SC29 WG1",
  number =        "N862",
  month =         "July",
  year =          "1998"
}