Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Nicolas Peltier. Increasing Model Building Capabilities by Constraint Solving on Terms with Integer Exponents. Journal of Symbolic Computation, 24(1):59-101, 1997.
Possibly Related PublicationsThe following publications are possibly variants of this publication: Dei: A Theorem Prover for Terms with Integer ExponentsHicham Bensaid, Ricardo Caferra, Nicolas Peltier. cade 2009: 146-150 [doi] Perfect Discrimination Graphs: Indexing Terms with Integer ExponentsHicham Bensaid, Ricardo Caferra, Nicolas Peltier. cade 2010: 369-383 [doi]
The following publications are possibly variants of this publication: