Projecting CLP( R ) constraints

Authors:
Joxan Jaffar;Michael J. Maher;Peter J. Stuckey;Roland H. C. Yap
Affiliations:
-;-;-;-
Venue:
Selected papers of international conference on Fifth generation computer systems 92
Year:
1993

Toward Practical Query Evaluation for Constraint Databases

Constraints
Early Projection in CLP(R)

CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Conflict resolution

CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Symbolic simulation on complicated loops for WCET path analysis

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Approximation techniques to enable dimensionality reduction for voronoi-based nearest neighbor search

EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
A CLP method for compositional and intermittent predicate abstraction

VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation

Hi-index	0.00