Analyzing Unit Read-Once Refutations in Difference Constraint Systems.

K. Subramani, Piotr Wojciechowski

Browse the full JELIA paper archive.