Itsykson, Dmitry; Sokolov, Dmitry Resolution over linear equations modulo two. (English) Zbl 07127339 Ann. Pure Appl. Logic 171, No. 1, Article ID 102722, 31 p. (2020). MSC: 03F20 68Q17 PDFBibTeX XMLCite \textit{D. Itsykson} and \textit{D. Sokolov}, Ann. Pure Appl. Logic 171, No. 1, Article ID 102722, 31 p. (2020; Zbl 07127339) Full Text: DOI
Buss, Sam; Itsykson, Dmitry; Knop, Alexander; Sokolov, Dmitry Reordering rule makes OBDD proof systems stronger. (English) Zbl 1441.03042 Servedio, Rocco A. (ed.), 33rd computational complexity conference, CCC 2018, June 22–24, 2018, San Diego, California, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 102, Article 16, 24 p. (2018). MSC: 03F20 68P05 PDFBibTeX XMLCite \textit{S. Buss} et al., LIPIcs -- Leibniz Int. Proc. Inform. 102, Article 16, 24 p. (2018; Zbl 1441.03042) Full Text: DOI