Index of /~pierref/courses/COCP/slides

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[TXT]README.txt 2018-11-30 18:46 1.0K 
[   ]T01-Introduction.pdf 2018-10-24 12:22 1.6M 
[   ]T02-BasicModelling.pdf 2018-12-11 14:32 227K 
[   ]T03-ConsPredicates.pdf 2018-11-22 11:35 407K 
[   ]T04-Modelling.pdf 2018-09-17 10:06 205K 
[   ]T05-Symmetry.pdf 2018-09-17 08:32 464K 
[   ]T06-CaseStudies.pdf 2018-09-26 16:19 1.0M 
[   ]T07-SolvingTechs.pdf 2018-12-03 08:47 322K 
[   ]T08-InferenceSearchC..>2018-11-14 14:22 256K 
[   ]T09-CBLS.pdf 2018-09-26 15:01 145K 
[   ]T10-SAT-SMT.pdf 2018-09-26 15:03 185K 
[   ]T11-MIP.pdf 2018-09-26 15:05 130K 
[   ]T12a-CP-Gecode.pdf 2018-12-03 08:48 306K 
[   ]T12b-CP-Gecode.pdf 2018-10-24 12:39 657K 
[   ]T13-Consistency.pdf 2018-10-31 15:35 851K 
[   ]T14-Propagation.pdf 2018-11-09 12:42 352K 
[   ]T15-Search.pdf 2018-11-14 14:31 198K 
[   ]T16-Propagators.pdf 2018-12-11 14:33 474K 
[   ]T17-LocalSearch.pdf 2018-12-03 08:49 629K 
[   ]T18-Conclusion.pdf 2018-12-03 08:50 650K 
[   ]eNegotiation.pdf 2018-09-04 14:15 1.8M 

This page has the slides of the courses "Combinatorial Optimisation
and Constraint Programming [COCP]" (10 ECTS credits, code 1DL441) and
"Modelling for Combinatorial Optimisation [M4CO]" (5 ECTS credits,
code 1DL451) by Prof. Pierre Flener at Uppsala University in Sweden.
The course is held every autumn semester.

The first half of the COCP course is the M4CO course and comprises the
first 11 topics: we use the MiniZinc language and toolchain
(http://www.minizinc.org) in order to model various problems and run
the models under solvers of various technologies (CP, SAT, SMT, MIP,
local search, and hybrids thereof).

The second half of the COCP course comprises the last 7 topics: we
study the algorithms for a solver of constraint programming (CP)
technology and use the Gecode C++ library (http://www.gecode.org) for
the assignments.

If you are an instructor and would like to use the LaTeX source of
these slides, then contact me (http://user.it.uu.se/~pierref); under
additional conditions, I can also give you the source code of
assignment questions.