SAT-Race 2008

SAT-Race
2008

Overview
Rules
Important Dates
Organizers
Qualification
Solvers
Results
Result Analysis
Downloads

Organizing Committee

Chair

Carsten Sinz (Universität Karlsruhe, Germany)

Advisory Panel

Nina Amla (Cadence Design Systems, USA)
Toni Jussila (OneSpin Solutions, Germany)
Daniel Le Berre (Université d'Artois, France)
Panagiotis Manolios (Northeastern University, USA)
Lintao Zhang (Microsoft Research, USA)

AIG Special Track Co-Organizer

Himanshu Jain (Carnegie Mellon University, USA)

Technical Organization

Hendrik Post (Universität Karlsruhe, Germany)