Arvind, V.; Fuhlbrück, Frank; Köbler, Johannes; Verbitsky, Oleg On Weisfeiler-Leman invariance: subgraph counts and related graph properties. (English) Zbl 1450.05056 J. Comput. Syst. Sci. 113, 42-59 (2020). MSC: 05C60 05C85 PDFBibTeX XMLCite \textit{V. Arvind} et al., J. Comput. Syst. Sci. 113, 42--59 (2020; Zbl 1450.05056) Full Text: DOI arXiv
Berkholz, Christoph; Verbitsky, Oleg On the speed of constraint propagation and the time complexity of arc consistency testing. (English) Zbl 1378.68059 J. Comput. Syst. Sci. 91, 104-114 (2018). MSC: 68Q25 68R10 68T20 PDFBibTeX XMLCite \textit{C. Berkholz} and \textit{O. Verbitsky}, J. Comput. Syst. Sci. 91, 104--114 (2018; Zbl 1378.68059) Full Text: DOI
Raz, Ran; Tardos, Gábor; Verbitsky, Oleg; Vereshchagin, Nikolai Arthur-Merlin games in Boolean decision trees. (English) Zbl 0948.68166 J. Comput. Syst. Sci. 59, No. 2, 346-372 (1999). MSC: 68Q10 68Q15 PDFBibTeX XMLCite \textit{R. Raz} et al., J. Comput. Syst. Sci. 59, No. 2, 346--372 (1999; Zbl 0948.68166)