Solving Sparse Linear Constraints
Shuvendu K. Lahiri and Madanlal Musuvathi
2006
 PDF file |
In: Automated Reasoning, Third International Joint Conference (IJCAR '06)
Publisher: Springer
Details
| Type: | Inproceedings |
| Pages: | 468-482 |
| Volume: | 4130 |
| Series: | Lecture Notes in Computer Science |
| ISBN: | 3-540-37187-7 |
Related People
©2009 Microsoft Corporation. All rights reserved.