November 8 – 13 , 2009, Dagstuhl Seminar 09461
Last update: January 26 2011

Algorithms and Applications for Next Generation SAT Solvers

Participants

  • Erika Abraham (RWTH Aachen, DE)
  • Bernd Becker (Universität Freiburg, DE)
  • Armin Biere (Universität Linz, AT)
  • Rolf Drechsler (Universität Bremen, DE)
  • Jochen Eisinger (Universität Freiburg, DE)
  • Alexander Finder (Universität Bremen, DE)
  • Martin Fränzle (Universität Oldenburg, DE)
  • Hiroshi Fujita (Kyushu University – Fukuoka, JP)
  • Masahiro Fujita (University of Tokyo, JP)
  • Malay K. Ganai (NEC Laboratories America, Inc. – Princeton, US)
  • Martin Gogolla (Universität Bremen, DE)
  • Eugene Goldberg (Northeastern University – Boston, US)
  • Daniel Große (Universität Bremen, DE)
  • Youssef Hamadi (Microsoft Research UK – Cambridge, GB)
  • Ryuzo Hasegawa (Kyushu University – Fukuoka, JP)
  • Thomas Heinz (Robert Bosch GmbH – Schwieberdingen, DE)
  • Matti Järvisalo (University of Helsinki, FI)
  • Stephan Kottler (Universität Tübingen, DE)
  • Matthew Lewis (Universität Freiburg, DE)
  • Paolo Marin (University of Genova, IT)
  • Yakau Novikau (OneSpin Solutions – München, DE)
  • Florian Pigorsch (Universität Freiburg, DE)
  • Sven Reimer (Universität Freiburg, DE)
  • Lakhdar Sais (CNRS – Lens, FR)
  • Karem A. Sakallah (University of Michigan – Ann Arbor, US)
  • Torsten Schaub (Universität Potsdam, DE)
  • Christoph Scholl (Universität Freiburg, DE)
  • Tobias Schubert (Universität Freiburg, DE)
  • Martina Seidl (TU Wien, AT)
  • Laurent Simon (University of Paris South XI, FR)
  • Carsten Sinz (KIT – Karlsruher Institut für Technologie, DE)
  • Ofer Strichman (Technion – Haifa, IL)
  • Olga Tveretina (KIT – Karlsruher Institut für Technologie, DE)
  • Markus Wedler (TU Kaiserslautern, DE)
  • Christoph Weidenbach (MPI für Informatik – Saarbrücken, DE)
  • Robert Wille (Universität Bremen, DE)