Optimal Length Tree-Like Refutations of Linear Feasibility in UTVPI Constraints.

Piotr Wojciechowski, K. Subramani, Matthew D. Williamson

Browse the full FAW paper archive.