Closure properties of constraints
Journal of the ACM (JACM)
Constraint tightness and looseness versus local and global consistency
Journal of the ACM (JACM)
The Tractability of Segmentation and Scene Analysis
International Journal of Computer Vision
A generic customizable framework for inverse local consistency
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Functional elimination and 0/1/All constraints
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Building tractable disjunctive constraints
Journal of the ACM (JACM)
Combining Constraints and Consistency Techniques in Knowledge-Based Expert Systems
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Constraint Satisfaction Problems in Non-deterministic Logarithmic Space
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
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
Determining the Number of Solutions to Binary CSP Instances
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Reduction operations in fuzzy or valued constraint satisfaction
Fuzzy Sets and Systems - Optimisation and decision
New tractable constraint classes from old
Exploring artificial intelligence in the new millennium
New Tractable Classes From Old
Constraints
Learnability of quantified formulas
Theoretical Computer Science
Implementing a Test for Tractability
Constraints
A new tractable class of constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
The complexity of soft constraint satisfaction
Artificial Intelligence
Placement Inference for a Client-Server Calculus
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Dualities for Constraint Satisfaction Problems
Complexity of Constraints
The parameterized complexity of global constraints
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Using pivot consistency to decompose and solve functional CSPS
Journal of Artificial Intelligence Research
Constraints, consistency and closure
Artificial Intelligence
The complexity of soft constraint satisfaction
Artificial Intelligence
A graph based backtracking algorithm for solving general CSPs
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination
Artificial Intelligence
Local consistency and SAT-solvers
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Complexity of conservative constraint satisfaction problems
ACM Transactions on Computational Logic (TOCL)
Solving functional constraints by variable substitution
Theory and Practice of Logic Programming
Journal of Artificial Intelligence Research
On the tractability of smooth constraint satisfaction problems
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Pruning by equally constrained variables
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
Survey: Colouring, constraint satisfaction, and complexity
Computer Science Review
Local consistency and SAT-solvers
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |