kcnfs: An Efficient Solver for Random k-SAT Formulae
Résumé
no abstract
no abstract
Connectez-vous pour contacter le contributeur
https://hal.science/hal-00845688
Soumis le : mercredi 17 juillet 2013-15:33:42
Dernière modification le : vendredi 4 avril 2025-15:49:12