..:: Martin Kot ::..
Constraint processing - school year 2013/14
General Actual Download Projects
 
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