Dealing with Symmetries in Quantified Boolean Formulas - Université d'Artois Access content directly
Conference Papers Year : 2004

Dealing with Symmetries in Quantified Boolean Formulas

No file

Dates and versions

hal-03299483 , version 1 (26-07-2021)

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⟩
6 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More