Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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