Solving Sparse Linear Constraints.

Shuvendu K. Lahiri, Madanlal Musuvathi

Browse the full CADE paper archive.