Dave Tompkins :: Research

WARNING! This page is really out of date

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

Now, I'm a Lecturer at the University of Waterloo where I am mostly focused on teaching and I don't have much time for research.

Projects:

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

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