Papers, talks and posters
Papers
Breaking Through the Reordering Obstacle in OBDD Proof Systems,
In progress
Appear in proceedings of ITCS 2019
Appear in proceedings of CCC 2018
Appear in proceedings of STOC 2018
Appear in proceedings of CSR 2017
Appear in proceedings of STACS 2017
Appear in proceedings of ISAAC 2016
Fundamenta Informaticae, vol. 145, no. 3, pp. 229-242, 2016
Appear in proceedings of ISAAC 2015, [Bib]
Information Processing Letters, Vol. 115(9), pp. 725-730, 2015, [Bib]
In proceedings of MFCS 2014
Fundamenta Informaticae, 132(1):113-129, 2014
CoRR abs/1412.1124, 2014
In proceedings of ISAAC 2011
Journal of Mathematical Sciences, 399:88-109, 2012
Talks
In progress