An Exhaustive DPLL Algorithm for Model Counting.
J. Artif. Intell. Res., 2018
Knowledge Compilation for Solving Computationally Hard Problems.
PhD thesis, 2017
On Compiling DNNFs without Determinism.
CoRR, 2017
Solving PP<sup>PP</sup>-Complete Problems Using Knowledge Compilation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
A Top-Down Compiler for Sentential Decision Diagrams.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
CV-width: A New Complexity Parameter for CNFs.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
On Compiling CNF into Decision-DNNF.
Proceedings of the Principles and Practice of Constraint Programming, 2014