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) »

Projects

  1. 2021 Международная конференция «St. Petersburg Days of Logic and Computability V»

    Project: Grant fulfilment › Total grant fulfilment

View all () »

ID: 35825084