Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning
Theoretical Computer Science
Variable Independence, Quantifier Elimination, and Constraint Representations
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Variable independence for first-order definable constraints
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |