 |
Conference papers
The Second QBF Solvers Comparative Evaluation
Daniel Le Berre 1
Author IdHAL : daniel-le-berre IdRef : https://www.idref.fr/152104046 ORCID : https://orcid.org/0000-0003-3221-9923
M. Narizzano
Author
L Simon 2
Author IdHAL : laurent-simonl-sim ORCID : https://orcid.org/0000-0002-2627-1525
A Tachella
Author
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
IS2M - Institut de Science des Matériaux de Mulhouse (15 rue Jean Starcky BP 2488 68057 MULHOUSE CEDEX 2 - France)
- Université de Haute-Alsace (UHA) - Université de Haute-Alsace (UHA) Mulhouse - Colmar (2, rue des Frères Lumière F-68093 Mulhouse Cedex - France)
- INC - Institut de Chimie du CNRS (3 Rue Michel-Ange 75 016 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7361 (France)
- FMNGE - Matériaux et nanosciences d'Alsace (France)
- INC - Institut de Chimie du CNRS (3 Rue Michel-Ange 75 016 Paris - France)
- UNISTRA - Université de Strasbourg : FR3627 (4 rue Blaise Pascal - CS 90032 - 67081 Strasbourg cedex - France)
- Université de Haute-Alsace (UHA) - Université de Haute-Alsace (UHA) Mulhouse - Colmar (2, rue des Frères Lumière F-68093 Mulhouse Cedex - France)
- INSERM - Institut National de la Santé et de la Recherche Médicale (101, rue de Tolbiac, 75013 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : FR3627 (France)
- Réseau nanophotonique et optique (France)
- CNRS - Centre National de la Recherche Scientifique (France)
- UNISTRA - Université de Strasbourg : FR3678 (4 rue Blaise Pascal - CS 90032 - 67081 Strasbourg cedex - France)
- Université de Haute-Alsace (UHA) - Université de Haute-Alsace (UHA) Mulhouse - Colmar (2, rue des Frères Lumière F-68093 Mulhouse Cedex - France)
Document type :
Conference papers
Complete list of metadata
https://hal-univ-artois.archives-ouvertes.fr/hal-03300803
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 12:08:12 PM
Last modification on : Tuesday, December 14, 2021 - 8:56:07 AM
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 12:08:12 PM
Last modification on : Tuesday, December 14, 2021 - 8:56:07 AM
Identifiers
- HAL Id : hal-03300803, version 1
Collections
UNIV-ARTOIS | INC-CNRS | CNRS | SITE-ALSACE | CRIL | LRN
Citation
Daniel Le Berre, M. Narizzano, L Simon, A Tachella. The Second QBF Solvers Comparative Evaluation. Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, 2005, Vancouver, Canada. pp.376-392. ⟨hal-03300803⟩
Metrics
Les métriques sont temporairement indisponibles