University of Cincinnati Logo
 

 
COMPUTER SCIENCE
THEORY and ALGORITHMS

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

ERC
MainStreet
Paul Erdos
NIT
Ladies on Campus
Oscar Robinson