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

dc.contributor.author	Coste-Marquis, Sylvie
dc.contributor.author	Fargier, Hélène
hal.structure.identifier	Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
dc.contributor.author	Lang, Jérôme
dc.contributor.author	Le Berre, Daniel
dc.contributor.author	Marquis, Pierre
dc.date.accessioned	2021-10-22T14:40:44Z
dc.date.available	2021-10-22T14:40:44Z
dc.date.issued	2002
dc.identifier.uri	https://basepub.dauphine.psl.eu/handle/123456789/22097
dc.language.iso	fr	en
dc.subject.ddc	006.3	en
dc.title	Résolution de formules booléennes quantifiées : problèmes et algorithmes	en
dc.type	Communication / Conférence
dc.subject.ddclabel	Intelligence artificielle	en
dc.relation.conftitle	13ème Congrès AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA 2002)	en
dc.relation.confdate	2002
dc.relation.confcity	Angers	en
dc.relation.confcountry	France	en
dc.relation.forthcoming	non	en
dc.description.ssrncandidate	non
dc.description.halcandidate	non	en
dc.description.readership	recherche	en
dc.description.audience	National	en
dc.relation.Isversionofjnlpeerreviewed	non	en
dc.date.updated	2021-10-22T14:39:33Z
hal.author.function	aut
hal.author.function	aut
hal.author.function	aut
hal.author.function	aut
hal.author.function	aut

Files in this item

Files	Size	Format	View
There are no files associated with this item.