Alfredo Goñi Sarriguren

SARRIGUREN améliore la résolution SAT pour les instances de clauses denses grâce à une approche de comptage unique.