Papers, talks and posters

Papers

Appear in proceedings of CSR 2017

"On OBDD based algorithms and proof systems that dynamically change order of variables",

Appear in proceedings of STACS 2017

In proceedings of ISAAC 2016

Fundamenta Informaticae, vol. 145, no. 3, pp. 229-242, 2016

Appear in proceedings of ISAAC 2015

Information Processing Letters, Vol. 115(9), pp. 725-730, 2015

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 (under construction)

Problems in Theoretical Computer Science, Moscow, Russia, 2016

Problems in Theoretical Computer Science, Moscow, Russia, 2015

ELC mini-workshop, Tokyo, Japan, 2015

Dagstuhl seminar "Optimal algorithms and proofs", Dagstuhl, Germany, 2014