Login / Signup

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

K. SubramaniPiotr J. Wojciechowski
Published in: Theor. Comput. Sci. (2021)
Keyphrases