- Nisan-Wigderson generatos in proof systems with forms of interpolation2011 | Faculty of Mathematics and Physics
- On the proof complexity of the Nisan-Wigderson generator2011 | Faculty of Mathematics and Physics
- Nisan-Wigderson generators in proof complexity: new lower bounds2022 | Faculty of Mathematics and Physics
- PSEUDO-FINITE HARD INSTANCES FOR A STUDENT-TEACHER GAME WITH A NISAN-WIGDERSON GENERATOR2012 | Faculty of Mathematics and Physics
- On the computational complexity of finding hard tautologies2014 | Faculty of Mathematics and Physics