PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Building tractable disjunctive constraints
Journal of the ACM (JACM)
Linear Concurrent Constraint Programming over Reals
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint 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
Efficient manipulation of disequalities during dependence analysis
LCPC'02 Proceedings of the 15th international conference on Languages and Compilers for Parallel Computing
A sound and complete chase procedure for constrained tuple-generating dependencies
Journal of Intelligent Information Systems
Journal of Artificial Intelligence Research
Hi-index | 0.00 |