On the minimality and global consistency of row-convex constraint networks
Journal of the ACM (JACM)
Constraint solving and programming: what's next?
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Closure properties of constraints
Journal of the ACM (JACM)
Constraint tightness and looseness versus local and global consistency
Journal of the ACM (JACM)
Hard problems for CSP Algorithms
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
An algebra for cyclic ordering of 2D orientations
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
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
Constraint satisfaction and database theory: a tutorial
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning
Theoretical Computer Science
Toward A Constraint-Satisfaction Frameworkfor Evaluating Program-Understanding Algorithms
Automated Software Engineering
Applying Plan Recognition Algorithms To Program Understanding
Automated Software Engineering
Constraint Solving and Programming: What Next?
Constraints
On point-duration networks for temporal reasoning
Artificial Intelligence
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
A Mixed Closure-CSP Method to Solve Scheduling Problems
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Combining Topological and Qualitative Size Constraints for Spatial Reasoning
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Interval scripts: a programming paradigm for interactive environments and agents
Personal and Ubiquitous Computing
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
A Comparison between SAT and CSP Techniques
Constraints
A Mixed Closure-CSP Method for Solving Scheduling Problems
Applied Intelligence
A polynomial-time algorithm for near-unanimity graphs
Journal of Algorithms
A dichotomy theorem for constraint satisfaction problems on a 3-element set
Journal of the ACM (JACM)
An automata-theoretic approach to constraint LTL
Information and Computation
Evaluation and design: a knowledge-based approach
International Journal of Computer Integrated Manufacturing - Integrated Design of Product and Processes
Qualitative Reasoning about Convex Relations
Proceedings of the international conference on Spatial Cognition VI: Learning, Reasoning, and Talking about Space
A Logical Approach to Constraint Satisfaction
Complexity of Constraints
Collapsibility and consistency in quantified constraint satisfaction
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Tractable tree convex constraint networks
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results
Graph Theory, Computational Intelligence and Thought
Reasoning on interval and point-based disjunctive metric constraints in temporal contexts
Journal of Artificial Intelligence Research
Fault tolerant Boolean satisfiability
Journal of Artificial Intelligence Research
Set intersection and consistency in constraint networks
Journal of Artificial Intelligence Research
The design and experimental analysis of algorithms for temporal reasoning
Journal of Artificial Intelligence Research
MUSE CSP: an extension to the constraint satisfaction problem
Journal of Artificial Intelligence Research
Using pivot consistency to decompose and solve functional CSPS
Journal of Artificial Intelligence Research
Exploiting interchangeabilities in constraint satisfaction problems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Constraint satisfaction, databases, and logic
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Constraints, consistency and closure
Artificial Intelligence
Grading knowledge: extracting degree information from texts
Grading knowledge: extracting degree information from texts
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
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
A much better polynomial time approximation of consistency in the LR calculus
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Journal of Artificial Intelligence Research
The parameterized complexity of local consistency
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
On minimal constraint networks
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Self-control of the time complexity of a constraint satisfaction problem solver program
Journal of Systems and Software
On minimal constraint networks
Artificial Intelligence
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Syntactically characterizing local-to-global consistency in ORD-Horn
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Robust constraint satisfaction and local hidden variables in quantum mechanics
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |