Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm

Sabrine Saouli; Souheib Baarir; Claude Dutheillet

doi:10.1007/978-3-031-60698-4_2

Communication Dans Un Congrès Année : 2024

Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm

(1) , (2) , (1)

1
2

Sabrine Saouli

Fonction : Auteur
PersonId : 1393442
IdHAL : sabrine-saouli
ORCID : 0000-0003-2578-7551

Modélisation et Vérification

Souheib Baarir

Fonction : Auteur

Laboratoire de Recherche de l'EPITA

Claude Dutheillet

Fonction : Auteur

Modélisation et Vérification

Mots clés

Boolean satisfiability cdcl sat solver Initialization problem Genetic algorithms Evolutionary algorithms Metaheuristic Boolean satisfiability cdcl sat solver Initialization problem Genetic algorithms Evolutionary algorithms Metaheuristic

Domaines

Informatique [cs]

Fichier principal

GASPI_NFM24__final_version_.pdf (530.68 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

Sabrine Saouli : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04616526

Soumis le : mercredi 19 juin 2024-13:11:10

Dernière modification le : mercredi 30 octobre 2024-13:32:52

Dates et versions

hal-04616526 , version 1 (19-06-2024)

Identifiants

HAL Id : hal-04616526 , version 1
DOI : 10.1007/978-3-031-60698-4_2

Citer

Sabrine Saouli, Souheib Baarir, Claude Dutheillet. Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm. NASA Formal Methods, Jun 2024, Moffett Field, CA, United States. pp.21-36, ⟨10.1007/978-3-031-60698-4_2⟩. ⟨hal-04616526⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES

62 Consultations

3 Téléchargements