Skip to Main content Skip to Navigation
Conference papers

Résolution de formules booléennes quantifiées : problèmes et algorithmes

Sylvie Coste-Marquis 1 Hélène Fargier 2 Jérôme Lang 3 Daniel Le Berre 1 Pierre Marquis 1 
1 CRIL - Centre de Recherche en Informatique de Lens
2 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
IRIT - Institut de recherche en informatique de Toulouse
3 LAMSADE - Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
Document type :
Conference papers
Complete list of metadata
https://hal-univ-artois.archives-ouvertes.fr/hal-03300386
Contributor : Fabien DELORME Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 9:59:54 AM
Last modification on : Wednesday, June 1, 2022 - 4:57:31 AM

Identifiers

  • HAL Id : hal-03300386, version 1

Collections

UNIV-ARTOIS | UNIV-TLSE2 | UNIV-TLSE3 | CNRS | UNIV-DAUPHINE | AFIA | UT1-CAPITOLE | LAMSADE-DAUPHINE | PSL | IRIT | IRIT-ADRIA | IRIT-IA | IRIT-CNRS | CRIL | UNIV-UT3

Citation

Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis. Résolution de formules booléennes quantifiées : problèmes et algorithmes. 13ème Congrès AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA 2002), 2002, Angers, France. pp.289-298. ⟨hal-03300386⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

27