Browsing by Subject "Optimització amb restriccions"
Now showing items 1-2 of 2
(Universitat Politècnica de Catalunya, 2016-07-04)
Open AccessScheduling 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 ...
(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 ...