Skip to Main content Skip to Navigation
New interface
Conference papers

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

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 : Monday, July 4, 2022 - 9:09:31 AM

Identifiers

  • HAL Id : hal-03300386, version 1

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⟩

Share

Metrics

Record views

32