PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The LyriC language: querying constraint objects
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
An incremental algorithm for satisfying hierarchies of multiway dataflow constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Building tractable disjunctive constraints
Journal of the ACM (JACM)
Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning
Theoretical Computer Science
Combining topological and size information for spatial reasoning
Artificial Intelligence
Toward Practical Constraint Databases
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Linear Concurrent Constraint Programming over Reals
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Optimizing Queries in Extended Relational Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Noetherianity and Combination Problems
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
Typing Linear Constraints for Moding CLP(${\cal R}$) Programs
SAS '08 Proceedings of the 15th international symposium on Static Analysis
Eight maximal tractable subclasses of Allen's algebra with metric time
Journal of Artificial Intelligence Research
ACM Transactions on Programming Languages and Systems (TOPLAS)
An abstract domain extending difference-bound matrices with disequality constraints
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Data structures with arithmetic constraints: a non-disjoint combination
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Solving linear constraints over real and rational fields
Cybernetics and Systems Analysis
A Note on the Inversion Join for Polyhedral Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Speeding up Polyhedral Analysis by Identifying Common Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
A unified framework for heterogeneous patterns
Information Systems
Hi-index | 0.00 |