Parameterized and Exact-Exponential Algorithms for the Read-Once Integer Refutation Problem in UTVPI Constraints.

K. Subramani, Piotr Wojciechowski

Browse the full COCOA paper archive.