Solving Sparse Linear Constraints

ijcar06.pdf
PDF file

In  Automated Reasoning, Third International Joint Conference (IJCAR '06)

Publisher  Springer

Details

TypeInproceedings
Pages468-482
Volume4130
SeriesLecture Notes in Computer Science
ISBN3-540-37187-7
> Publications > Solving Sparse Linear Constraints