Special Volume on the SAT 2005 competitions and evaluations

L. Simon; Daniel Le Berre

N°Spécial De Revue/Special Issue Journal of Satisfiability, Boolean Modeling and Computation Année : 2006

Special Volume on the SAT 2005 competitions and evaluations

(1) , (2)

1
2

L. Simon

Fonction : Directeur scientifique
PersonId : 170541
IdHAL : laurent-simon
ORCID : 0000-0001-6115-9160
IdRef : 12458229X

Laboratoire de Recherche en Informatique

Daniel Le Berre

Fonction : Directeur scientifique
PersonId : 2191
IdHAL : daniel-le-berre
ORCID : 0000-0003-3221-9923
IdRef : 152104046

Centre de Recherche en Informatique de Lens

CV

Domaines

Intelligence artificielle [cs.AI]

Francois Chevallier : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00459960

Soumis le : jeudi 25 février 2010-16:20:03

Dernière modification le : samedi 10 février 2024-03:07:37

Dates et versions

hal-00459960 , version 1 (25-02-2010)

Identifiants

HAL Id : hal-00459960 , version 1

Citer

L. Simon, Daniel Le Berre. Special Volume on the SAT 2005 competitions and evaluations. Journal of Satisfiability, Boolean Modeling and Computation, 2, 2006. ⟨hal-00459960⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ARTOIS EC-PARIS CNRS UMR8623 UNIV-PARIS-SACLAY CRIL

63 Consultations

0 Téléchargements

Special Volume on the SAT 2005 competitions and evaluations

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager