Conference Papers
Year : 2004
Fabien DELORME : Connect in order to contact the contributor
https://hal-univ-artois.archives-ouvertes.fr/hal-03299483
Submitted on : Monday, July 26, 2021-2:49:03 PM
Last modification on : Friday, March 24, 2023-2:53:22 PM
Dates and versions
Identifiers
- HAL Id : hal-03299483 , version 1
Cite
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⟩
Collections
5
View
0
Download