Skip to Main content Skip to Navigation
Conference papers

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

Daniel Le Berre 1 Laurent Simon A Tachella
1 CRIL - Centre de Recherche en Informatique de Lens
Document type :
Conference papers
Complete list of metadata
https://hal-univ-artois.archives-ouvertes.fr/hal-03300805
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 12:08:15 PM
Last modification on : Wednesday, October 20, 2021 - 9:58:21 AM

Identifiers

  • HAL Id : hal-03300805, version 1

Collections

UNIV-ARTOIS | CNRS | CRIL

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles