Osobní
O mně
Portrét
Ing. studium
Obecné informace
Referáty
Projekty
Diplomová práce
PhD. studium
Obecné informace
Různé texty
Publikace
Výuka
DIM
2003/2004
2004/2005
UTI
2003/2004
2005/2006
2006/2007
2007/2008
2008/2009
2009/2010
2010/2011
2011/2012
2012/2013
2013/2014
2014/2015
TI
2006/2007
2007/2008
2008/2009
2009/2010
2010/2011
2011/2012
2012/2013
2013/2014
2014/2015
2015/2016
UPR
MAV
2011/2012
2014/2015
2022/2023
ARUO
2012/2013
2013/2014
2015/2016
Automatizované řešení úloh s omezeními - šk. rok 2013/14
Obecné
Aktuálně
Ke stažení
Projekty
Materiály ke cvičením
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
Přednášky - slidy
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 - slidy
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