Generalizing partial order and dynamic backtracking
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Solution Techniques for Constraint Satisfaction Problems: Foundations
Artificial Intelligence Review
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
Coloration Neighbourhood Search With Forward Checking
Annals of Mathematics and Artificial Intelligence
Maintaining Arc-Consistency within Dynamic Backtracking
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Hard, flexible and dynamic constraint satisfaction
The Knowledge Engineering Review
Intelligent search strategies based on adaptive Constraint Handling Rules
Theory and Practice of Logic Programming
Connecting ABT with Arc Consistency
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Improving ABT Performance by Adding Synchronization Points
Recent Advances in Constraints
Generalizing Boolean satisfiability I: background and survey of existing work
Journal of Artificial Intelligence Research
Adaptive problem-solving for large-scale scheduling problems: a case study
Journal of Artificial Intelligence Research
Min-domain ordering for asynchronous backtracking
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Artificial Intelligence Review
CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming
Retroactive ordering for dynamic backtracking
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Hi-index | 0.00 |