Dave A. D. Tompkins Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dave A. D. Tompkins, Adrian Balint, Holger H. Hoos: Captain Jack: New Variable Selection Heuristics in Local Search for SAT. SAT 2011: 302-316
2010
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dave A. D. Tompkins, Holger H. Hoos: Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT. SAT 2010: 278-292
2006
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dave A. D. Tompkins, Holger H. Hoos: On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT. Canadian Conference on AI 2006: 146-158
2004
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dave A. D. Tompkins, Holger H. Hoos: Warped Landscapes and Random Acts of SAT Solving. AMAI 2004
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dave A. D. Tompkins, Holger H. Hoos: Warped Landscapes and Random Acts of SAT Solving. ISAIM 2004
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dave A. D. Tompkins, Holger H. Hoos: UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT. SAT 2004
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dave A. D. Tompkins, Holger H. Hoos: UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT. SAT (Selected Papers 2004: 306-320
2003
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dave A. D. Tompkins, Holger H. Hoos: Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT. Canadian Conference on AI 2003: 145-159
2002
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos: Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT. CP 2002: 233-248
1999
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dave A. D. Tompkins, Faouzi Kossentini: Lossless JBIG2 Coding Performance. Data Compression Conference 1999: 553
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Magesh Valliappan, Brian L. Evans, Dave A. D. Tompkins, Faouzi Kossentini: Lossy Compression of Stochastic Halftones with JBIG2. ICIP (1) 1999: 214-218
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dave A. D. Tompkins, Faouzi Kossentini: A Fast Segmentation Algorithm for Bi-Level Image Compression Using JBIG2. ICIP (1) 1999: 224-228

Coauthor Index

1Adrian Balint
[c12]
2Brian L. Evans
[c2]
3Holger H. Hoos (Holger Hoos)
[c12] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4]
4Frank Hutter
[c4]
5Faouzi Kossentini
[c3] [c2] [c1]
6Magesh Valliappan
[c2]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 14:54:26 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page