..:: Martin Kot ::..
Automatizované řešení úloh s omezeními - šk. rok 2015/16
Obecné Aktuálně Ke stažení Domácí úkoly
 
Materiály ke cvičením
25.09.2015 Ukázková zápočtová písemka
25.09.2015 Řešená ukázková zápočtová písemka
01.10.2015 Stránka programu Abscon 109
01.10.2015 Program Abscon 109 - tgz soubor obsahující jar se spustitelnou verzí a konfigurační soubory
01.10.2015 Popis XCSP 2.1 formátu pro řešiče CSP (akceptován např. sat4j, Abscon 109, ...)
01.10.2015 4 dámy - XCSP 2.0 soubor, 1. verze
01.10.2015 4 dámy - XCSP 2.0 soubor, 2. verze
22.10.2015 Problém směn sester z ukázkové zápočtové písemky - XCSP 2.0 soubor, 1. verze
22.10.2015 Problém směn sester z ukázkové zápočtové písemky - XCSP 2.0 soubor, 2. verze
05.11.2015 Zebra - XCSP 2.0 soubor
19.11.2015 Minisat - domovská stránka
19.11.2015 Minisat - linuxová binárka
19.11.2015 Minisat - windowsovská binárka
19.11.2015 Minisat - windowsovská binárka nevyužívající cygwin (s využitím MinGW přeložil David Macek)
19.11.2015 MiniSAT User Guide: How to use the MiniSAT SAT Solver
 
Přednášky - slidy
25.09.2015 Slidy komplet z roku 2013
05.11.2015 Soubor satsolvers.pdf - naskenované obrázky z knihy Logic in Computer Science ke slidům k problému SAT
 
R. Dechter - slidy
25.09.2015 Stránky autorky R. Dechter
25.09.2015 Slidy k 1. kapitole knihy
25.09.2015 Slidy k 2. kapitole knihy
25.09.2015 Slidy k 3. kapitole knihy
25.09.2015 Slidy k 4. kapitole knihy
25.09.2015 Slidy k 5. kapitole knihy
25.09.2015 Slidy k 6. kapitole knihy
25.09.2015 Slidy k 7. kapitole knihy
25.09.2015 Slidy k 8. kapitole knihy
25.09.2015 Slidy k 9. kapitole knihy
25.09.2015 Slidy k 10. kapitole knihy