Essays about: "Aleix Sacrest Gascon"

Found 1 essay containing the words Aleix Sacrest Gascon.

  1. 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)

    Author : Aleix Sacrest Gascon; [2017]
    Keywords : ;

    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