Increasing Model Building Capabilities by Constraint Solving on Terms With Integer Exponents

Journal of Symbolic Computation - United States
doi 10.1006/jsco.1997.0114
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV


Related search