Skip to Main content Skip to Navigation
Conference papers

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

Document type :
Conference papers
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03300805
Contributor : Fabien Delorme <>
Submitted on : Tuesday, July 27, 2021 - 12:08:15 PM
Last modification on : Thursday, September 9, 2021 - 3:10:19 PM

Identifiers

  • HAL Id : hal-03300805, version 1

Collections

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⟩

Share

Metrics

Record views

6