Searching for "Simple LPO Constraint Solving Methods." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
Simple LPO constraint solving methods
- …Simple LPO constraint solving methods Robert Nieuwenhuis Technical University of Catalonia Pau…
- Cited by 37 (10 self) – Add To MetaCart
-
Computation, 14(5):437-458, November 1992. [Ven87] K. N. Venkataraman. Decidability of the purely existential fragment of the theory of term algebras.
- … constraint solving methods. Information Processing Letters, 47:65-69, 1993. [Tre92] Ralf Treinen. A new…
- Add To MetaCart
Showing 1 through 2.
