The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dave A. D. Tompkins: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dave A. D. Tompkins, Holger H. Hoos
    Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT. [Citation Graph (0, 0)][DBLP]
    Canadian Conference on AI, 2003, pp:145-159 [Conf]
  2. Dave A. D. Tompkins, Holger H. Hoos
    On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT. [Citation Graph (0, 0)][DBLP]
    Canadian Conference on AI, 2006, pp:146-158 [Conf]
  3. Dave A. D. Tompkins, Holger H. Hoos
    Warped Landscapes and Random Acts of SAT Solving. [Citation Graph (0, 0)][DBLP]
    AMAI, 2004, pp:- [Conf]
  4. Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos
    Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:233-248 [Conf]
  5. Dave A. D. Tompkins, Faouzi Kossentini
    Lossless JBIG2 Coding Performance. [Citation Graph (0, 0)][DBLP]
    Data Compression Conference, 1999, pp:553- [Conf]
  6. Dave A. D. Tompkins, Faouzi Kossentini
    A Fast Segmentation Algorithm for Bi-Level Image Compression Using JBIG2. [Citation Graph (0, 0)][DBLP]
    ICIP (1), 1999, pp:224-228 [Conf]
  7. Magesh Valliappan, Brian L. Evans, Dave A. D. Tompkins, Faouzi Kossentini
    Lossy Compression of Stochastic Halftones with JBIG2. [Citation Graph (0, 0)][DBLP]
    ICIP (1), 1999, pp:214-218 [Conf]
  8. Dave A. D. Tompkins, Holger H. Hoos
    UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT. [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  9. Dave A. D. Tompkins, Holger H. Hoos
    UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT. [Citation Graph (0, 0)][DBLP]
    SAT (Selected Papers, 2004, pp:306-320 [Conf]

  10. Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002