Résolution de formules booléennes quantifiées : problèmes et algorithmes
Coste-Marquis, Sylvie; Fargier, Hélène; Lang, Jérôme; Le Berre, Daniel; Marquis, Pierre (2002), 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
Type
Communication / ConférenceDate
2002Conference title
13ème Congrès AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA 2002)Conference date
2002Conference city
AngersConference country
FranceMetadata
Show full item recordAuthor(s)
Coste-Marquis, SylvieFargier, Hélène
Lang, Jérôme
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Le Berre, Daniel
Marquis, Pierre
Related items
Showing items related by title and author.
-
(2012) Communication / Conférence
-
(2013) Article accepté pour publication ou publié
-
(2006) Document de travail / Working paper
-
(2012-04) Article accepté pour publication ou publié
-
(2009) Communication / Conférence
