19. – 24. April 2015, Dagstuhl Seminar 15171
Letzte Aktualisierung: 17. Dezember 2015

Theory and Practice of SAT Solving

Participants

  • Erika Abraham (RWTH Aachen, DE) [dblp]
  • Dimitris Achlioptas (University of California – Santa Cruz, US) [dblp]
  • Albert Atserias (UPC – Barcelona, ES) [dblp]
  • Gilles Audemard (CNRS – Lens, FR) [dblp]
  • Paul Beame (University of Washington – Seattle, US) [dblp]
  • Christoph Berkholz (KTH Royal Institute of Technology, SE) [dblp]
  • Olaf Beyersdorff (University of Leeds, GB) [dblp]
  • Armin Biere (Universität Linz, AT) [dblp]
  • Nikolaj S. Bjorner (Microsoft Corporation – Redmond, US) [dblp]
  • Ilario Bonacina (Sapienza University of Rome, IT) [dblp]
  • Samuel R. Buss (University of California – San Diego, US) [dblp]
  • Amin Coja-Oghlan (Goethe-Universität – Frankfurt a. M., DE) [dblp]
  • Jessica Davies (IST Austria – Klosterneuburg, AT) [dblp]
  • Holger Dell (Universität des Saarlandes, DE) [dblp]
  • Jan Elffers (KTH Royal Institute of Technology, SE) [dblp]
  • John Franco (University of Cincinnati, US) [dblp]
  • Andreas Fröhlich (Universität Linz, AT) [dblp]
  • Vijay Ganesh (University of Waterloo, CA) [dblp]
  • Alexandra Goultiaeva (Google Waterloo, CA) [dblp]
  • Martin Grohe (RWTH Aachen, DE) [dblp]
  • Daniel Große (Universität Bremen, DE) [dblp]
  • Edward A. Hirsch (Steklov Institute – St. Petersburg, RU) [dblp]
  • Holger H. Hoos (University of British Columbia – Vancouver, CA) [dblp]
  • Matti Järvisalo (University of Helsinki, FI) [dblp]
  • MikolᚠJanota (INESC-ID – Lisboa, PT) [dblp]
  • Manuel Kauers (Universität Linz, AT) [dblp]
  • Oliver Kullmann (Swansea University, GB) [dblp]
  • Massimo Lauria (KTH Royal Institute of Technology, SE) [dblp]
  • Daniel Le Berre (CNRS – Lens, FR) [dblp]
  • Sharad Malik (Princeton University, US) [dblp]
  • Joao Marques-Silva (INESC-ID – Lisboa, PT) [dblp]
  • Nina Narodytska (Carnegie Mellon University, US) [dblp]
  • Jakob Nordström (KTH Royal Institute of Technology, SE) [dblp]
  • Yakau Novikau (OneSpin Solutions – München, DE)
  • Albert Oliveras (UPC – Barcelona, ES) [dblp]
  • Pavel Pudlák (Czech Academy of Sciences – Prague, CZ) [dblp]
  • Alexander Razborov (University of Chicago, US) [dblp]
  • Kristin Yvonne Rozier (University of Cincinnati, US) [dblp]
  • Karem A. Sakallah (University of Michigan – Ann Arbor, US) [dblp]
  • Martina Seidl (Universität Linz, AT) [dblp]
  • Laurent Simon (University of Bordeaux, FR) [dblp]
  • Niklas Sörensson (Mentor Graphics – Göteborg, SE) [dblp]
  • Stefan Szeider (TU Wien, AT) [dblp]
  • Alasdair Urquhart (University of Toronto, CA) [dblp]
  • Allen Van Gelder (University of California – Santa Cruz, US) [dblp]
  • Marc Vinyals (KTH Royal Institute of Technology, SE) [dblp]
  • Magnus Wahlström (Royal Holloway University of London, GB) [dblp]
  • Ryan Williams (Stanford University, US) [dblp]


Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner