Incremental Algorithms for Constraint Solving and Entailment over Rational Trees

Authors:
Viswanath Ramachandran;Pascal Van Hentenryck
Affiliations:
-;-
Venue:
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
Year:
1993

Functions as passive constraints in LIFE

ACM Transactions on Programming Languages and Systems (TOPLAS)
Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories

Proceedings of the 2006 ACM symposium on Applied computing
Decomposable theories

Theory and Practice of Logic Programming
Theory of finite or infinite trees revisited

Theory and Practice of Logic Programming
Solving first-order constraints in the theory of the evaluated trees

CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints

Hi-index	0.00