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 <>
Submitted on : Tuesday, July 27, 2021 - 9:59:54 AM
Last modification on : Thursday, September 9, 2021 - 3:10:00 PM

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

11