Travelled to:1 × USA
1 × United Kingdom
2 × Canada
Collaborated with:H.H.Hoos A.Balint
Talks about:sat (6) sls (3) experiment (2) implement (2) algorithm (2) variabl (2) environ (2) ubcsat (2) new (2) max (2)
Person: Dave A. D. Tompkins
DBLP: Tompkins:Dave_A=_D=
Contributed to:
2011201020042005Wrote 4 papers:
- SAT-2011-TompkinsBH #heuristic #satisfiability
- Captain Jack: New Variable Selection Heuristics in Local Search for SAT (DADT, AB, HHH), pp. 302–316.
- SAT-2010-TompkinsH #satisfiability
- Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT (DADT, HHH), pp. 278–292.
- SAT-2004-TompkinsH #algorithm #implementation #named #satisfiability
- UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT (DADT, HHH), pp. 37–46.
- SAT-J-2004-TompkinsH05 #algorithm #implementation #named #satisfiability
- UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT (DADT, HHH), pp. 306–320.