Browsing by Author "Sacrest Gascón, Aleix"
Sacrest Gascón, Aleix (Universitat Politècnica de Catalunya, 2017-06)
Covenantee: Kungliga Tekniska högskolanMost modern SAT solvers are based on resolution and CNF representation. The performance of these has improved a great deal in the past decades. But still they have some drawbacks such as the slow effi- ciency in solving ...