Lifting with simple gadgets and applications to circuit and proof complexity
- Susanna De Rezende
- , Or Meir
- , Jakob Nordstrom
- , Toniann Pitassi
- , Robert Robere
- , Marc Vinyals
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review