This course examines the paradigm of constraint programming as a tool for solving combinatorial optimization problems.
Francisco Javier Larrosa Bondia (
Mario Martín Muñoz (
Generic Technical Competences
CG1 - Capability to plan, design and implement products, processes, services and facilities in all areas of Artificial Intelligence.
Technical Competences of each Specialization
CEA1 - Capability to understand the basic principles of the Multiagent Systems operation main techniques , and to know how to use them in the environment of an intelligent service or system.
CEA13 - Capability to understand advanced techniques of Modeling , Reasoning and Problem Solving, and to know how to design, implement and apply these techniques in the development of intelligent applications, services or systems.
CT6 - Capability to evaluate and analyze on a reasoned and critical way about situations, projects, proposals, reports and scientific-technical surveys. Capability to argue the reasons that explain or justify such situations, proposals, etc..
Ability to model optimally a discrete optimization problem and solve it using the proper tools.
Problema Solving as Boolean Satisfability
- Propositional Logic
- Symbolic manipulation
- Transformation to CNF