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
Open PDFAbstract
Available in full text
Date
July 1, 1997
Authors
Publisher
Elsevier BV