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 2012/13
General
Actual
Download
Projects
Exercises
01.11.2012
Minisat - domovská stránka
01.11.2012
Minisat - linuxová binárka
01.11.2012
Minisat - windowsovská binárka
01.11.2012
MiniSAT User Guide: How to use the MiniSAT SAT Solver
08.11.2012
Stránka s variantami sudoku (fed-sudoku.eu) pro příklady k projektům
08.11.2012
Stránka s variantami sudoku (sudokuvariante.blogspot.cz/) pro příklady k projektům
08.11.2012
Stránka s killer sudoku pro příklady k projektům
15.11.2012
Domovská stránka UBCSAT
15.11.2012
Příklady CNF souborů
15.11.2012
Generátor CNF souborů pro n dam na šachovnici
15.11.2012
Vygenerované instance pro 8, 50 a 100 dam
06.12.2012
Stránka řešiče SAT sat4j
06.12.2012
Popis formátu AIG - jednoho z možných vstupních formátů pro řešiče SAT
06.12.2012
Stránka programu Abscon 109
06.12.2012
Popis XCSP 2.0 formátu pro řešiče CSP (akceptován např. sat4j, Abscon 109, ...)
06.12.2012
4 dámy - XCSP 2.0 soubor, extension verze
06.12.2012
4 dámy - XCSP 2.0 soubor, intension verze
06.12.2012
Zebra - XCSP 2.0 soubor
15.01.2013
Ukázková zápočtová písemka
15.01.2013
Řešená ukázková zápočtová písemka
Lectures - slides
27.09.2012
Organizační informace, požadavky apod., příklady úloh s omezeními
27.09.2012
Základní pojmy
25.10.2012
Šíření omezení
1.11.2012
Prohledávání, algoritmy pro dopředný pohyb
1.11.2012
Prohledávání, algoritmy pro zpětný pohyb
1.11.2012
Problém SAT a jeho NP-úplnost
16.12.2012
Problém SAT, jeho varianty a metody řešení
16.12.2012
Soubor satsolvers.pdf - naskenované obrázky z knihy Logic in Computer Science ke slidům k problému SAT
16.12.2012
Optimalizační problémy
16.12.2012
On-line plánování
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