Solving Sparse Linear Constraints

Shuvendu K. Lahiri and Madanlal Musuvathi

Details

Publication typeInproceedings
Published inAutomated Reasoning, Third International Joint Conference (IJCAR '06)
Pages468-482
Volume4130
SeriesLecture Notes in Computer Science
ISBN3-540-37187-7
PublisherSpringer
> Publications > Solving Sparse Linear Constraints