On the parametrized complexity of read-once refutations in UTVPI+ constraint systems

K. Subramani, Piotr J. Wojciechowski. On the parametrized complexity of read-once refutations in UTVPI+ constraint systems. Theoretical Computer Science, 883:1-18, 2021. [doi]

Abstract

Abstract is missing.