Organization: Massimo Narizzano, Armando Tacchella
Judges:
Discrepancy analysis: Overview, Overview by instance.
Contact | Organization | Links | Citing QBFLIB