Research
I am interested in boolean functions and formulas, among others:
- satisfiability
- minimum representations and various kinds of representations
- knowledge compilation
- parameterized algorithms
- encodings of problems and constraints to SAT
- unit refutation complete and propagation complete encodings
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.