Exact and Parameterized Algorithms for Read-Once Refutations in Horn Constraint Systems.

K. Subramani, Piotr Wojciechowski

Browse the full LFCS paper archive.