Essays about: "Aleix Sacrest Gascon"
Found 1 essay containing the words Aleix Sacrest Gascon.
-
1. Study of efficient techniques for implementing a Pseudo-Boolean solver based on cutting planes
University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)Abstract : Most 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 efficiency in solving some compact formulas e.g. READ MORE
Result pages:
1