Skip to Main content Skip to Navigation
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 : Wednesday, June 1, 2022 - 4:57: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

27