  |
SAT 2004 - http://www.satisfiability.org/SAT04/
The Seventh International Conference on Theory and Applications of Satisfiability Testing. Vancouver, BC, Canada; 10--13 May 2004. |
  |
CCC 2003 - http://www.brics.dk/Complexity2003/
18th IEEE Conference on Computational Complexity. BRICS, University of Aarhus, Denmark; 7--10 July 2003. |
  |
CCC 2004 - http://www.cs.umass.edu/~barring/ccc2004/
19th IEEE Conference on Computational Complexity. Amherst, MA, USA; 21--24 June 2004. |
  |
Computational Intractability - http://dimacs.rutgers.edu/SpecialYears/1999_2000/
DIMACS special year. Rutgers, NJ, USA; 1999-2001. |
  |
Faster Exact Solutions for NP-Hard Problems - http://dimacs.rutgers.edu/Workshops/Faster/
DIMACS Workshop, Princeton, NJ, USA; 23-24 February 2000. |