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,
CNF encodings and their propagation strength,
satisfiability of random boolean formulas.
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
