Résolution de formules booléennes quantifiées : problèmes et algorithmes - Archive ouverte HAL Access content directly
Conference Papers Year : 2002

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

Domains

Computer Science [cs] Artificial Intelligence [cs.AI]

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

Not file

Dates and versions

hal-03300386 , version 1 (27-07-2021)

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-ARTOIS UNIV-TLSE2 CNRS UNIV-DAUPHINE AFIA LAMSADE-DAUPHINE PSL IRIT IRIT-ADRIA IRIT-IA IRIT-CNRS CRIL TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
38 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More