On the Parallel Complexity of Constrained Read-Once Refutations in UTVPI Constraint Systems.

K. Subramani, Piotr Wojciechowski

Browse the full TAMC paper archive.