kcnfs: An Efficient Solver for Random k-SAT Formulae - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

Dates et versions

hal-00845688 , version 1 (17-07-2013)

Identifiants

Citer

Gilles Dequen, Olivier Dubois. kcnfs: An Efficient Solver for Random k-SAT Formulae. SAT 2003 - 6th International Conference on Theory and Applications of Satisfiability Testing, May 2003, Santa Margherita Ligure, Italy. pp.486-501, ⟨10.1007/978-3-540-24605-3_36⟩. ⟨hal-00845688⟩
57 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More