Research output

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

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

  2. Bounded-depth frege complexity of tseitin formulas for all graphs

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

View all (2) »

ID: 45858484