SAT-Race 2015

Organizing Committee

Chair

Tomas Balyo (Karlsruhe Institute of Technology, Germany)

Members

Carsten Sinz (Karlsruhe Institute of Technology, Germany)
Markus Iser (Karlsruhe Institute of Technology, Germany)

Incremental Library Track Co-Organizer

Armin Biere (Johannes Kepler University in Linz, Austria)

Contact

email: satrace2015@googlegroups.com