Efficient Symmetry Breaking Predicates for Quantified Boolean Formulae - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Efficient Symmetry Breaking Predicates for Quantified Boolean Formulae

Fichier non déposé

Dates et versions

hal-00385814 , version 1 (20-05-2009)

Identifiants

  • HAL Id : hal-00385814 , version 1

Citer

Gilles Audemard, Said Jabbour, Lahkdar Sais. Efficient Symmetry Breaking Predicates for Quantified Boolean Formulae. Workshop on Symmetry and Constraint Satisfaction Problems - Affiliated to CP(SymCon), Sep 2007, United States. pp.14-21. ⟨hal-00385814⟩

Collections

UNIV-ARTOIS CNRS
18 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More