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