..:: Martin Kot ::..

Constraint processing - school year 2015/16

English version of this subpage is under construction

Exercises

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

Lectures - slides

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 - slides

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