Challenges in the QBF arena : the SAT'03 evaluation of QBF solvers

Daniel Le Berre; Laurent Simon; A Tachella

Conference Papers Year : 2003

Challenges in the QBF arena : the SAT'03 evaluation of QBF solvers

(1) , ,

1

Daniel Le Berre

Function : Author
PersonId : 2191
IdHAL : daniel-le-berre
ORCID : 0000-0003-3221-9923
IdRef : 152104046

Centre de Recherche en Informatique de Lens

CV

Laurent Simon

Function : Author

A Tachella

Function : Author

Domains

Computer Science [cs] Artificial Intelligence [cs.AI]

Fabien DELORME : Connect in order to contact the contributor

https://hal-univ-artois.archives-ouvertes.fr/hal-03300805

Submitted on : Tuesday, July 27, 2021-12:08:15 PM

Last modification on : Monday, March 14, 2022-3:53:55 PM

Dates and versions

hal-03300805 , version 1 (27-07-2021)

Identifiers

HAL Id : hal-03300805 , version 1

Cite

Daniel Le Berre, Laurent Simon, A Tachella. Challenges in the QBF arena : the SAT'03 evaluation of QBF solvers. Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT2003), 2003, Portofino, Italy. pp.468-485. ⟨hal-03300805⟩

Challenges in the QBF arena : the SAT'03 evaluation of QBF solvers

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share