Computational and proof complexity of partial string avoidability

Dmitry Itsykson, Alexander Okhotin, Vsevolod Oparin. Computational and proof complexity of partial string avoidability. Electronic Colloquium on Computational Complexity (ECCC), 27:67, 2020. [doi]

Abstract

Abstract is missing.