Communication Dans Un Congrès
Année : 2004
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03299483
Soumis le : lundi 26 juillet 2021-14:49:03
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-03299483 , version 1
Citer
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
Consultations
0
Téléchargements