Pictures from Sun Yat-Sen University, Guangzhou, P.R. China

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


Last modified: June 16, 2008.