Show simple item record

dc.contributor.authorCoste-Marquis, Sylvie
dc.contributor.authorFargier, Hélène
hal.structure.identifierLaboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
dc.contributor.authorLang, Jérôme
dc.contributor.authorLe Berre, Daniel
dc.contributor.authorMarquis, Pierre
dc.date.accessioned2021-10-22T14:40:44Z
dc.date.available2021-10-22T14:40:44Z
dc.date.issued2002
dc.identifier.urihttps://basepub.dauphine.psl.eu/handle/123456789/22097
dc.language.isofren
dc.subject.ddc006.3en
dc.titleRésolution de formules booléennes quantifiées : problèmes et algorithmesen
dc.typeCommunication / Conférence
dc.subject.ddclabelIntelligence artificielleen
dc.relation.conftitle13ème Congrès AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA 2002)en
dc.relation.confdate2002
dc.relation.confcityAngersen
dc.relation.confcountryFranceen
dc.relation.forthcomingnonen
dc.description.ssrncandidatenon
dc.description.halcandidatenonen
dc.description.readershiprechercheen
dc.description.audienceNationalen
dc.relation.Isversionofjnlpeerreviewednonen
dc.date.updated2021-10-22T14:39:33Z
hal.author.functionaut
hal.author.functionaut
hal.author.functionaut
hal.author.functionaut
hal.author.functionaut


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record