Past Projects
   Satisfiability Research
   Groundwater Remediation Software

Current Projects
   New collaboration
   SIAM Monograph on Satisfiability
   Non-clausal Satisfiability Solver Competition
   Special issue of AMAI
   11th ISAIM conference
   6th CFV workshop
   ACM Regional Programming Contest
   Summer Camp
   Difficult search problems
   SBSAT development

Future Projects
   Solving difficult combinatorial problems
   Understanding the nature of hard problems