#### DMCA

## SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers

### Cached

### Download Links

- [www.lsi.upc.es]
- [www.lsi.upc.es]
- [www.lsi.upc.edu]
- [www.lsi.upc.edu]
- [hal.archives-ouvertes.fr]
- [hal.inria.fr]
- DBLP

### Other Repositories/Bibliography

by
Germain Faure
,
Robert Nieuwenhuis
,
Albert Oliveras

Citations: | 6 - 0 self |