Alfredo Goñi Sarriguren

SARRIGUREN migliora la risoluzione di SAT per istanze di clausole dense con un approccio di conteggio unico.