Finding Short Tree-Like Unit Refutations in UTVPI Constraint Systems.

Piotr Wojciechowski, K. Subramani

Browse the full JELIA paper archive.