SAT 2008 - Eleventh International Conference on
Theory and Applications of Satisfiability Testing

May 12 - 15 2008, Guangzhou, P. R. China

Conference Chairs Hans Kleine Büning, University of Paderborn, Germany Zhao Xishun, Sun Yat-Sen University, Guangzhou, P.R. China   Local Chair / Organization Committee Shier Ju, Sun Yat-Sen University, Guangzhou, P.R. China Minghui Xiong, Sun Yat-Sen University, Guangzhou, P.R. China Lin Xu, Natural Science Foundation of China, P.R. China Uwe Bubeck, University of Paderborn, Germany Theo Lettmann, University of Paderborn, Germany   Technical Program Committee Fahiem Bacchus, University of Toronto, Canada Armin Biere, Johannes Kepler University, Austria Nadia Creignou, Université de la Méditerranée, France Adnan Darwiche, UCLA, USA Leonardo de Moura, Microsoft Research, USA Decheng Ding, Nanjing University, P.R. China John Franco, University of Cincinnati, USA Ian Gent, University of St. Andrews, UK Enrico Giunchiglia, Universitŕ di Genova, Italy Aarti Gupta, NEC Research Labs, USA Ziyad Hanna, Jasper Design Automation, USA Holger Hoos, University of British Columbia, Canada Henry Kautz, University of Rochester, USA Oliver Kullmann, University of Wales Swansea, UK Daniel Le Berre, Université d'Artois, France Chu-Min Li, Université de Picardie, France Ines Lynce, Technical University of Lisbon, Portugal Panagiotis Manolios, Northeastern University, Boston, USA Joao Marques-Silva, University of Southampton , UK David Mitchell, Simon Fraser University, Canada Stefan Porschen, Universität Köln, Germany Steve Prestwich, University College Cork, Ireland Karem Sakallah, University of Michigan, USA Uwe Schöning, Universität Ulm, Germany Roberto Sebastiani, Universitŕ di Trento, Italy Bart Selman, Cornell University, USA Laurent Simon, Université Paris Sud, France Ewald Speckenmeyer, Universität Köln, Germany Ofer Strichman, Technion, Israel Stefan Szeider, Durham University, UK Allen Van Gelder, UC Santa Cruz, USA Hans van Maaren, Technische Universiteit Delft, Netherlands Toby Walsh, National ICT, Australia Jian Zhang, Chinese Academy of Science, P.R. China Lintao Zhang, Microsoft Research, USA