Combination of constraint systems II: rational amalgamation
Theoretical Computer Science
A Database Approach for Modeling and Querying Video Data
IEEE Transactions on Knowledge and Data Engineering
Unions of non-disjoint theories and combinations of satisfiability procedures
Theoretical Computer Science
An interval constraint system for lattice domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
Cooperation of constraint domains in the TOY system
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in cflp
Theory and Practice of Logic Programming
An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
Fundamenta Informaticae
Rule-Based Constraint Programming
Fundamenta Informaticae
Hi-index | 0.00 |