Research output

1. Branching programs with bounded repetitions and flow formulas

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

2. The power of negative reasoning

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

3. Automating algebraic proof systems is NP-hard

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

View all (12) »