Shuvendu K. Lahiri, Madanlal Musuvathi
Solving Sparse Linear Constraints
IJCAR, 2006.
@inproceedings{IJCAR-2006-LahiriM, author = "Shuvendu K. Lahiri and Madanlal Musuvathi", booktitle = "{Proceedings of the Third International Joint Conference on Automated Reasoning}", doi = "10.1007/11814771_39", isbn = "3-540-37187-7", pages = "468--482", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Solving Sparse Linear Constraints}", volume = 4130, year = 2006, }