Petr Savicky
Institute of Computer Science
Czech Academy of Sciences
Pod Vodarenskou Vezi 2
182 07 Praha 8
Czech Republic
phone:
(+4202) 6605 3461
fax:
(+4202) 8658 5789
email:
savicky@cs.cas.cz
Research interests
complexity and combinatorial properties of boolean functions,
knowledge compilation,
CNF encodings and their propagation strength,
algebraic methods for analysis of specific computation models,
machine learning heuristics.
Further information and links
Informace o
vyuce
(in czech).
A list of
publications
including some on-line.
Curriculum Vitae
ECCC -
Electronic Colloquium on Computational Complexity
The
R Project
for Statistical Computing
GAP
- Groups, Algorithms, Programming
