Organization: Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella
Discrepancy analysis: Overview, Overview by instance.
Contact | Organization | Links | Citing QBFLIB