Personal
About me
Portrait
Master study
General
Papers
Projects
Diploma thesis
PhD. study
General
Various texts
Publications
Courses
Discrete mathematics
2003/2004
2004/2005
Introduction to theoretical CS
2003/2004
2005/2006
2006/2007
2007/2008
2008/2009
2009/2010
2010/2011
2011/2012
2012/2013
2013/2014
2014/2015
Theoretical Computer Science
2006/2007
2007/2008
2008/2009
2009/2010
2010/2011
2011/2012
2012/2013
2013/2014
2014/2015
2015/2016
Introduction to programming
Modelling and Verification
2011/2012
2014/2015
2022/2023
Constraint processing
2012/2013
2013/2014
2015/2016
Constraint processing - school year 2015/16
General
Actual
Download
Homeworks
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