CosySEL: Improving SAT Solving Using Local Symmetries - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Dates et versions

hal-04616520 , version 1 (18-06-2024)

Identifiants

Citer

Sabrine Saouli, Souheib Baarir, Claude Dutheillet, Jo Devriendt. CosySEL: Improving SAT Solving Using Local Symmetries. Verification, Model Checking, and Abstract Interpretation, Jan 2023, Boston (MA), United States. pp.252 - 266, ⟨10.1007/978-3-031-24950-1_12⟩. ⟨hal-04616520⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More