Now showing items 1-2 of 2

    • Solving resource-constrained shceuling problems with exact methods 

      Coll Caballero, Jordi (Universitat Politècnica de Catalunya, 2016-07-04)
      Master thesis
      Open Access
      Scheduling problems mainly consist in finding an assignment of execution times (a schedule) to a set of activities of a project that optimizes an objective function. There are many constraints imposed over the activities ...
    • Study of efficient techniques for implementing a Pseudo-Boolean solver based on cutting planes 

      Sacrest Gascón, Aleix (Universitat Politècnica de Catalunya, 2017-06)
      Bachelor thesis
      Open Access
      Covenantee:   Kungliga Tekniska högskolan
      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 effi- ciency in solving ...