CB02 Aplicar els coneixements adquirits i la seva capacitat de resolució de problemes en entorns nous o poc coneguts dins de contextos més amplis (o multidisciplinaris) relatius al seu camp d'estudi. CB05 Posseir habilitats d'aprenentatge que permetin continuar estudiant d'una manera que haurà de ser en gran mesura autodirigida o autònoma. CTI07 Capacitat per a comprendre i poder aplicar coneixements avançats de computació d'altes prestacions i mètodes numèrics o computacionals a problemes d'enginyeria.
1. Presentació, problemes combinatoris i complexitat. 2. CSPs i Modelització. 2.1. Timetabling, Scheduling i planning 3. CSP solvers 3.1. Propagadors 3.2. Constraints Globals 4. SAT i SMT 4.1. MiniSat com a exemple de "Conflict-Driven Clause Learning (CDCL) SAT solver 4.2. Max-SAT 4.3. PseudoBooleans i Cardinality Constraints 4.4. Theory Solvers 5. Programació lineal entera 5.1. Simplex 5.2. Cutting Planes
Tipus d’activitat Hores amb professor Hores sense professor Total Anàlisi / estudi de casos 8,00 16,00 24,00 Sessió participativa 22,00 26,00 48,00 Total 30,00 42,00 72
Biere, A., Heule, M., Van Maaren, H., Walsh, T. (2009). Handbook of Satisfiability. IOS Press. Rossi, Francesca, 1962- Van Beek, Peter Walsh, Toby (cop. 2006 ). Handbook of constraint programming . Amsterdam: Elsevier. Catàleg Rossi, Francesca, 1962- (2006 ). Handbook of constraint programming. Amsterdam: Elsevier. Recuperat 15-07-2015, a http://www.sciencedirect.com/science/book/9780444527264 Catàleg
Activitats d'avaluació: Descripció de l'activitat Avaluació de l'activitat % Classes presencials Tema 1 10 Classes presencials Tema 2 10 Classes presencials Tema 3 10 Classes presencials Tema 4 10 Classes presencials Tema 5 10 Realizació i presentació de treballs pràctics 50
Es valorarà el seguiment de l'assignatura amb exercicis proposats a classe. (Si algun dia no es pot assistir a classe, s'acordaran mètodes alternatius). (50%) L'altra 50% correspondrà a la realizació de treballs pràctics proposats i temes a exposar a classe. Criteris específics de la nota «No Presentat»:No presentar els treballs proposats.