Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

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

Fichier sous embargo
Fichier sous embargo
0 3 2
Année Mois Jours
Avant la publication
mardi 26 novembre 2024
Fichier sous embargo
mardi 26 novembre 2024
Connectez-vous pour demander l'accès au fichier

Dates et versions

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

Identifiants

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⟩
22 Consultations
3 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More