Projects
- amo
A lower bound on CNF encodings of the at-most-one constraint.
- BDMC
Backdoor Decomposable Monotone Circuits
- DCK
This project is dedicated to Domain Control Knowledge for automated planning.
- Middleware pro robotiku
Projekt pro sdílení výukových materiálů k předmětu Middleware pro robotiku (NAIL112)
- personal_web
PHP aplikace vytvorena Pavlem Surynkem. Umoznuje vytvareni a spravu osobnich webovych medailonku v ramci webu KTIML.
-
Also available in: Atom