Research output

1. On Limits of Symbolic Approach to SAT Solving

   Research output: Contribution to conference › Paper › peer-review

2. Computational and Proof Complexity of Partial String Avoidability

   Research output: Contribution to journal › Article › peer-review

3. On obdd-based algorithms and proof systems that dynamically change the order of variables

   Research output: Contribution to journal › Article › peer-review

View all (33) »