Dave Tompkins :: Research

I am currently a Postdoctoral Fellow working with Holger Hoos in the Department of Computer Science at the University of British Columbia.

Projects:

• Dynamic Local Search for SAT
• Automated Design of Heuristic Algorithms from Components

Current Activities: (Spring 2011)

• I will be releasing a new version of UBCSAT
• I will be writing several papers

Research Interests : Keywords (past and present)

Arithmetic Coding, Artificial Intelligence, Audio Compression, Constraint Satisfaction, Cultural Memes, Data Compression, Digital Signal Processing, Dynamic Local Search, Embedded DSP, Evolution, Evolutionary Computing, Game Theory, Genetic Algorithms, JBIG2, JPEG2000, Logic Puzzles, MAX-SAT, Optimization Research, Poker Theory, SAT Encodings, Satisfiability problem, Stochastic Local Search Algorithms, Technology Memes