1151 search results - page 231 / 231 » Collaborative Programming: Applications of Logic and Automat... |
155
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...