Constraint tightness and looseness versus local and global consistency
Journal of the ACM (JACM)
Constraint satisfaction and database theory: a tutorial
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The role of commutativity in constraint propagation algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Solution Techniques for Constraint Satisfaction Problems: Foundations
Artificial Intelligence Review
Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning
Theoretical Computer Science
Multi-agent oriented constraint satisfaction
Artificial Intelligence
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques
Automated Software Engineering
Reduction operations in fuzzy or valued constraint satisfaction
Fuzzy Sets and Systems - Optimisation and decision
Program understanding as constraint satisfaction
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Hard, flexible and dynamic constraint satisfaction
The Knowledge Engineering Review
Cyclic consistency: a local reduction operation for binary valued constraints
Artificial Intelligence
A dichotomy theorem for constraint satisfaction problems on a 3-element set
Journal of the ACM (JACM)
Theoretical analysis of singleton arc consistency and its extensions
Artificial Intelligence
A Logical Approach to Constraint Satisfaction
Complexity of Constraints
Reasoning on interval and point-based disjunctive metric constraints in temporal contexts
Journal of Artificial Intelligence Research
Amalgams of constraint satisfaction problems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Constraints, consistency and closure
Artificial Intelligence
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
The accuracy of search heuristics: an empirical study on knapsack problems
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Local consistency and SAT-solvers
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Inference-based constraint satisfaction supports explanation
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
The parameterized complexity of local consistency
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
The complexity of conservative valued CSPs
Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete Algorithms
Lower Bounds for Existential Pebble Games and k-Consistency Tests
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Local consistency and SAT-solvers
Journal of Artificial Intelligence Research
The complexity of conservative valued CSPs
Journal of the ACM (JACM)
Representing and solving finite-domain constraint problems using systems of polynomials
Annals of Mathematics and Artificial Intelligence
Argumentation frameworks as constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |