March 30 – April 4 , 2003, Dagstuhl Seminar 03141

The Propositional Satisfiability Problem -- Algorithms and Lower Bounds

Participants

  • Michael Alekhnovich (MIT – Cambridge, US)
  • Albert Atserias (UPC – Barcelona, ES)
  • Stefan Dantchev (University of Leicester, GB)
  • Evgeny Dantsin (Roosevelt University – Chicago, US)
  • Hervé Daude (University of Marseille, FR)
  • Juan Luis Esteban (UPC – Barcelona, ES)
  • John Franco (University of Cincinnati, US)
  • Nicola Galesi (Sapienza University of Rome, IT)
  • Andreas Goerdt (TU Chemnitz, DE)
  • Edward A. Hirsch (Steklov Institute – St. Petersburg, RU)
  • Thomas Hofmeister (TU Dortmund, DE)
  • Kazuo Iwama (Kyoto University, JP)
  • Emil Jerabek (Czech Academy of Sciences – Prague, CZ)
  • Jan Johannsen (LMU München, DE)
  • Alexis Kaporis (CTI & University of Patras, GR)
  • Lefteris M. Kirousis (CTI & University of Patras, GR)
  • Johannes Köbler (HU Berlin, DE)
  • Matthias Krause (Universität Mannheim, DE)
  • Wolfgang Küchlin (Universität Tübingen, DE)
  • Oliver Kullmann (Swansea University, GB)
  • Wolfgang Lindner (Universität Ulm, DE)
  • Alexis Maciel (Clarkson University – Potsdam, US)
  • Jochen Messner (Universität Ulm, DE)
  • Remi Monasson (CNRS – Paris, FR)
  • Martin Mundhenk (Universität Jena, DE)
  • Ramamohan Paturi (University of California – San Diego, US)
  • Stefan Porschen (Universität Köln, DE)
  • Pavel Pudlák (Czech Academy of Sciences, CZ)
  • Soren Riis (Queen Mary University of London, GB)
  • Peter Rossmanith (RWTH Aachen, DE)
  • Uwe Schöning (Universität Ulm, DE)
  • Rainer Schuler (Universität Ulm, DE)
  • Carsten Sinz (Universität Tübingen, DE)
  • Ewald Speckenmeyer (Universität Köln, DE)
  • Jacobo Torán (Universität Ulm, DE)
  • Iannis Tourlakis (Princeton University, US)
  • Hans Van Maaren (TU Delft, NL)
  • Anastasios Viglas (University of Toronto, CA)
  • Toby Walsh (Univ. of New South Wales – Sydney, AU)
  • Osamu Watanabe (Tokyo Institute of Technology, JP)
  • Huaitao Zhang (Queen Mary University of London, GB)