Publications

. Cops-Robber Games and the Resolution of Tseitin Formulas. The 21st International Conference on Theory and Applications of Satisfiability Testing (SAT), 2018.

Preprint DOI

. Prediction from Partial Information and Hindsight, An Alternative Proof. Information Processing Letters, 2018.

Preprint DOI

. Strong ETH and Resolution via Games and the Multiplicity of Strategies. Algorithmica (Special Issuse of IPEC 2015), 2017.

DOI

. Tighter Hard Instances for PPSZ. The 44th International Colloquium on Automata, Languages, and Programming (ICALP), 2017.

Preprint DOI

. On the Structure and the Number of Prime Implicants of 2-CNFs. Discrete Applied Mathematics, 2016.

Preprint DOI

. Circuit Complexity of Properties of Graph with Constant Planar Cutwidth. Mathematical Foundations of Computer Science (MFCS), 2014.

DOI

. Exponential Lower Bounds for PPSZ k-SAT Algorithm. Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2013.

DOI

Contact