SAT 2008 -
Eleventh International Conference on
Theory and Applications of Satisfiability Testing
May 12 - 15 2008, Guangzhou, P. R. China
Invited Speakers
| Kazuo Iwama SAT, UNSAT and Coloring |
| Alasdair Urquhart Regular and General Resolution: An Improved Separation |