Conference Papers
Year : 2002
Fabien DELORME : Connect in order to contact the contributor
https://hal-univ-artois.archives-ouvertes.fr/hal-03300386
Submitted on : Tuesday, July 27, 2021-9:59:54 AM
Last modification on : Monday, March 27, 2023-9:34:30 AM
Dates and versions
Identifiers
- HAL Id : hal-03300386 , version 1
Cite
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⟩
Collections
38
View
0
Download