Petr Kučera

Department of Theoretical Computer Science and Mathematical Logic

Faculty of Mathematics and Physics, Charles University

Research

I am interested in boolean functions and formulas, among others:

For a list of my publications please see Google Scholar.

Software

pccompile
A tool for compiling a CNF into a propagation complete CNF

Thesis

I am offering thesis topics in the research areas above, please let me know if you are interested.

Teaching