Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
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 : Monday, March 14, 2022 - 3:53:55 PM

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 Datacite

Share

Metrics

Record views

9