Report of the Third QBF Solvers Evaluation

Academic Article

Publication Date:

2006

Short description:

Report of the Third QBF Solvers Evaluation / Narizzano, M; Pulina, Luca; Tacchella, A.. - In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION. - ISSN 1574-0617. - 2:(2006), pp. 145-164.

Iris type:

1.1 Articolo in rivista

List of contributors:

Narizzano, M; Pulina, Luca; Tacchella, A.

Authors of the University:

PULINA Luca

Handle:

https://iris.uniss.it/handle/11388/86761

Published in:

JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION

Journal