kcnfs: An Efficient Solver for Random k-SAT Formulae
Résumé
no abstract
Gilles Dequen : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00845688
Soumis le : mercredi 17 juillet 2013-15:33:42
Dernière modification le : mardi 30 juillet 2024-12:40:03