Combining Symbolic Constraint Solvers on Algebraic Domains (1994)

Cached

Download Links

by Helene Kirchner , Christophe Ringeissen
Venue:Journal of Symbolic Computation
Citations:28 - 7 self