Closure properties of constraints
Journal of the ACM (JACM)
Conjunctive-query containment and constraint satisfaction
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraint satisfaction and database theory: a tutorial
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Building tractable disjunctive constraints
Journal of the ACM (JACM)
Constraints and universal algebra
Annals of Mathematics and Artificial Intelligence
Solving Order Constraints in Logarithmic Space
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Learnability of Quantified Formulas
EuroCOLT '99 Proceedings of the 4th European Conference on Computational Learning Theory
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
New Tractable Classes from Old
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
A Constraint Programming Approach to the Stable Marriage Problem
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Boolean Formulas are Hard to Learn for most Gate Bases
ALT '99 Proceedings of the 10th International Conference on Algorithmic Learning Theory
New Tractable Classes From Old
Constraints
Learnability of quantified formulas
Theoretical Computer Science
Implementing a Test for Tractability
Constraints
Supporting dispatchability in schedules with consumable resources
Journal of Scheduling
A new tractable class of constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
Constraints, consistency and closure
Artificial Intelligence
Note: The Ck-extended graft construction
Discrete Applied Mathematics
Survey: Colouring, constraint satisfaction, and complexity
Computer Science Review
Hi-index | 0.00 |