 |
Conference papers
Résolution de formules booléennes quantifiées : problèmes et algorithmes
Sylvie Coste-Marquis
1
Hélène Fargier
2
Jérôme Lang
3
Daniel Le Berre
1
Pierre Marquis
1
2
IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
IRIT - Institut de recherche en informatique de Toulouse
Sylvie Coste-Marquis 1
Author
Hélène Fargier 2
Author Employer institution : Centre National de la Recherche Scientifique IdHAL : helene-fargier ORCID : https://orcid.org/0000-0003-1616-5961
Jérôme Lang 3
Author Employer institution : Centre National de la Recherche Scientifique
Daniel Le Berre 1
Author IdHAL : daniel-le-berre IdRef : https://www.idref.fr/152104046 ORCID : https://orcid.org/0000-0003-3221-9923
Pierre Marquis 1
Author IdHAL : pierre-marquis ORCID : https://orcid.org/0000-0002-7979-6608
1
CRIL - Centre de Recherche en Informatique de Lens (Faculté Jean Perrin Rue Jean Souvraz - SP 18 - 62307 LENS CEDEX - France)
- UA - Université d'Artois : UMR8188 (9 rue du Temple - BP 10665 - 62030 Arras cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8188 (France)
2
IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (Institut de recherche en informatique de Toulouse - IRIT
118 Route de Narbonne
31062 Toulouse Cedex 9 - France)
- IRIT - Institut de recherche en informatique de Toulouse (118 Route de Narbonne, F-31062 Toulouse Cedex 9 - France)
- UT1 - Université Toulouse 1 Capitole (2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 - France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
- UT2J - Université Toulouse - Jean Jaurès (5 allées Antonio Machado - 31058 Toulouse Cedex 9 - France)
- UT3 - Université Toulouse III - Paul Sabatier (118 route de Narbonne - 31062 Toulouse - France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5505 (France)
- Toulouse INP - Institut National Polytechnique (Toulouse) (France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
- UT1 - Université Toulouse 1 Capitole (2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 - France)
3
LAMSADE - Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision (Place de Lattre de Tassigny 75775 PARIS CEDEX 16 - France)
- Université Paris Dauphine-PSL (Place du Maréchal de Lattre de Tassigny
75775 PARIS Cedex 16 - France)
- PSL - Université Paris sciences et lettres (60 rue Mazarine 75006 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7024 (France)
Document type :
Conference papers
Complete list of metadata
https://hal-univ-artois.archives-ouvertes.fr/hal-03300386
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 9:59:54 AM
Last modification on : Wednesday, November 17, 2021 - 12:27:19 PM
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 9:59:54 AM
Last modification on : Wednesday, November 17, 2021 - 12:27:19 PM
Identifiers
- HAL Id : hal-03300386, version 1
Collections
UNIV-ARTOIS | UNIV-TLSE3 | AFIA | UT1-CAPITOLE | UNIV-TLSE2 | CNRS | IRIT | IRIT-ADRIA | IRIT-IA | IRIT-CNRS | PSL | UNIV-DAUPHINE | LAMSADE-DAUPHINE | CRIL
Citation
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⟩
Metrics
Les métriques sont temporairement indisponibles