Communication Dans Un Congrès
Année : 2024
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 : jeudi 20 juin 2024-09:29:36
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⟩
Collections
22
Consultations
3
Téléchargements