..:: Martin Kot ::..

Constraint processing - school year 2013/14

English version of this subpage is under construction

Exercises

18.09.2013	Gecode - domovská stránka
18.09.2013	Příručka C. Schulte, G.Tack, M. Z. Lagerkvist: Modeling and Programming with Gecode (aktuální verze na webu Gecode)
17.10.2013	Jedno z možných řešení problému SEND+MORE+MONEY pomocí Gecode (od autorů příručky Modeling and Programming with Gecode)
17.10.2013	Jedno z možných řešení problému Zebra pomocí Gecode
17.10.2013	Jedno z možných řešení problému Zebra pomocí Gecode doplněné o podporu pro GIST (hledá řešení rovnou 3x po sobě, aby se ukázaly 3 různé způsoby)
17.10.2013	Ukázková zápočtová písemka
17.10.2013	Řešená ukázková zápočtová písemka
24.10.2013	Minisat - domovská stránka
24.10.2013	Minisat - linuxová binárka
24.10.2013	Minisat - windowsovská binárka
08.11.2013	Minisat - windowsovská binárka nevyužívající cygwin (s využitím MinGW přeložil David Macek)
24.10.2013	MiniSAT User Guide: How to use the MiniSAT SAT Solver
14.11.2013	Stránka programu Abscon 109
14.11.2013	Popis XCSP 2.0 formátu pro řešiče CSP (akceptován např. sat4j, Abscon 109, ...)
14.11.2013	4 dámy - XCSP 2.0 soubor, extension verze
14.11.2013	4 dámy - XCSP 2.0 soubor, intension verze
14.11.2013	Zebra - XCSP 2.0 soubor

Lectures - slides

18.09.2013	Organizační informace, požadavky apod., příklady úloh s omezeními
26.09.2013	Základní pojmy
17.10.2013	Šíření omezení
17.10.2013	Prohledávání, algoritmy pro dopředný pohyb
17.10.2013	Prohledávání, algoritmy pro zpětný pohyb
24.10.2013	Problém SAT a jeho NP-úplnost
24.10.2013	Problém SAT, jeho varianty a metody řešení
24.10.2013	Soubor satsolvers.pdf - naskenované obrázky z knihy Logic in Computer Science ke slidům k problému SAT
03.12.2013	Optimalizační problémy
10.12.2013	Pravděpodobnostní sítě
10.12.2013	On-line plánování
15.12.2013	Aproximační algoritmy pro problém obchodního cestujícího
03.12.2013	Kompletní soubor slidů v rozsahu učiva z loňského roku (rozsah pro zápočtovou písemku v kombinované formě studia)

R. Dechter - slides

12.09.2012	Stránky autorky R. Dechter
12.09.2012	Slidy k 1. kapitole knihy
12.09.2012	Slidy k 2. kapitole knihy
12.09.2012	Slidy k 3. kapitole knihy
12.09.2012	Slidy k 4. kapitole knihy
12.09.2012	Slidy k 5. kapitole knihy
12.09.2012	Slidy k 6. kapitole knihy
12.09.2012	Slidy k 7. kapitole knihy
12.09.2012	Slidy k 8. kapitole knihy
12.09.2012	Slidy k 9. kapitole knihy
12.09.2012	Slidy k 10. kapitole knihy