Nicolas Peltier. Increasing Model Building Capabilities by Constraint Solving on Terms with Integer Exponents. Journal of Symbolic Computation, 24(1):59-101, 1997.
No references recorded for this publication.
No citations of this publication recorded.