Skip to Main content Skip to Navigation
Conference papers

Dealing with Symmetries in Quantified Boolean Formulas

Document type :
Conference papers
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03299483
Contributor : Fabien Delorme <>
Submitted on : Monday, July 26, 2021 - 2:49:03 PM
Last modification on : Thursday, September 9, 2021 - 3:10:41 PM

Identifiers

  • HAL Id : hal-03299483, version 1

Collections

Citation

Gilles Audemard, Bertrand Mazure, Lakhdar Saïs. Dealing with Symmetries in Quantified Boolean Formulas. Proc. of the Seventh International Conference on Theory and Applications of Satisfiability Testing, 2004, Vancouver, Canada. pp.257-262. ⟨hal-03299483⟩

Share

Metrics

Record views

4