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 | |