Combining Symbolic Constraint Solvers on Algebraic Domains

• 1 August 1994
• journal article
• Published by Elsevier in Journal of Symbolic Computation
• Vol. 18  (2) , 113-155
• https://doi.org/10.1006/jsco.1994.1040

Abstract

Keywords

• CONSTRAINT SOLVERS
• ALGEBRAIC DOMAINS
• COMBINING SYMBOLIC CONSTRAINT