SAT Program Committee
The program committee of SAT 2014 is shown below.
- Gilles Audemard (CRIL)
- Fahiem Bacchus (University of Toronto)
- Anton Belov (Synopsys)
- Olaf Beyersdorff (University of Leeds)
- Armin Biere (Johannes Kepler University)
- Alessandro Cimatti (FBK-irst)
- Nadia Creignou (Aix-Marseille Université)
- Uwe Egly (TU Vienna) - chair
- John Franco (University of Cincinnati)
- Enrico Giunchiglia (DIST - Univ. Genova)
- Youssef Hamadi (Microsoft Research)
- Marijn Heule (The University of Texas at Austin)
- Holger H. Hoos (University of British Columbia)
- Matti Jarvisalo (University of Helsinki)
- Hans Kleine Büning (University of Paderborn)
- Oliver Kullmann (Swansea University, Computer Science Department)
- Daniel Le Berre (CNRS - Université d'Artois)
- Chu Min Li (Université de Picardie Jules Verne)
- Florian Lonsing (Vienna University of Technology)
- Ines Lynce (INESC-ID/IST, University of Lisbon)
- Panagiotis Manolios (Northeastern University)
- Norbert Manthey (TU Dresden)
- Joao Marques-Silva (INESC-ID, IST, ULisbon)
- Alexander Nadel (Intel)
- Jakob Nordström (KTH Royal Institute of Technology)
- Albert Oliveras (Technical University of Catalonia)
- Jussi Rintanen (Aalto University)
- Lakhdar Sais (CRIL, Université d'Artois)
- Karem Sakallah (University of Michigan)
- Horst Samulowitz (IBM Research)
- Tobias Schubert (Albert-Ludwigs-University Freiburg)
- Roberto Sebastiani (DISI, University of Trento)
- Martina Seidl (Johannes Kepler University Linz)
- Bart Selman (Cornell University)
- Carsten Sinz (Karlsruhe Institute of Technology (KIT)) - chair
- Stefan Szeider (Vienna University of Technology)
- Jacobo Torán (Universität Ulm)
- Allen Van Gelder (University of California, Santa Cruz)
- Xishun Zhao (Insitute of Logic and Cognition, Sun Yat-Sen University)