Increasing Model Building Capabilities b
β
NICOLAS PELTIER
π
Article
π
1997
π
Elsevier Science
π
English
β 770 KB
We extend a former method for simultaneous search for refutations and models, based on the use of constraints, by extending the expressive power of the constraints. Our extension uses the language of I-terms, in which it is possible to denote infinite sequences of structurally similar terms. Our wor