Research output

  1. 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 (1) »

ID: 33858017