1151 search results - page 231 / 231 » Collaborative Programming: Applications of Logic and Automat... |
CAV
2008
Springer
13 years 7 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...