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 |