Backtracking algorithms for disjunctions of temporal constraints
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Encodings of non-binary constraint satisfaction problems
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
ACM Computing Surveys (CSUR)
Determining if (FC-) (conflict-directed) back jumping visits a given node is NP-hard
Artificial Intelligence
ACM Transactions on Database Systems (TODS)
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
An Average Analysis of Backtracking on Random Constraint Satisfaction Problems
Annals of Mathematics and Artificial Intelligence
On forward checking for non-binary constraint satisfaction
Artificial Intelligence
Binary vs. non-binary constraints
Artificial Intelligence
On point-duration networks for temporal reasoning
Artificial Intelligence
Series-Parallel and Tree-Decomposition Approaches for Fuzzy Constraint Networks
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Constraint Satisfaction for Modelling Scalable Electronic Catalogs
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Querying Semistructured Data Based on Schema Matching
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Hybrid backtracking bounded by tree-decomposition of constraint networks
Artificial Intelligence
Backjumping for quantified Boolean logic satisfiability
Artificial Intelligence
Constraint satisfaction algorithms for graph pattern matching
Mathematical Structures in Computer Science
Making assumptions in the automated derivation
Information Sciences: an International Journal
IEEE Intelligent Systems
Concurrent search for distributed CSPs
Artificial Intelligence
Asynchronous Forward-checking for DisCSPs
Constraints
Analogical recognition of shape and structure in design drawings
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Conflict-directed backjumping revisited
Journal of Artificial Intelligence Research
The difference all-difference makes
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Conflict directed backjumping for Max-CSPs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Concurrent search for distributed CSPs
Artificial Intelligence
Constraint-based agents: an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Retroactive ordering for dynamic backtracking
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
A survey of constraint-based programming paradigms
Computer Science Review
Self-control of the time complexity of a constraint satisfaction problem solver program
Journal of Systems and Software
Hi-index | 0.01 |