1 - 3 out of 3Page size: 10
  1. 2024

  2. Resolution Over Linear Equations: Combinatorial Games for Tree-like Size and Space

    Gryaznov, S., Ovcharov, S. & Riazanov, A., 30 Sep 2024, In: ACM Transactions on Computation Theory. 16, 3, 15 p., 3.

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

  3. On Limits of Symbolic Approach to SAT Solving

    Itsykson, D., Ovcharov, S., Chakraborty, S. (ed.) & Jiang, J-HR. (ed.), 2024.

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

  4. 2023

  5. OBDD(Join) Proofs Cannot Be Balanced.

    Ovcharov, S., 21 Aug 2023, p. 72:1-72:13. 13 p.

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

ID: 45579384