On Dual Encodings for Non-binary Constraint Satisfaction Problems
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
AbsCon: A Prototype to Solve CSPs with Abstraction
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Disjunction of Non-binary and Numeric Constraint Satisfaction Problems
CCIA '02 Proceedings of the 5th Catalonian Conference on AI: Topics in Artificial Intelligence
Efficient solution techniques for disjunctive temporal reasoning problems
Artificial Intelligence
Constraint programming viewed as rule-based programming
Theory and Practice of Logic Programming
Hi-index | 0.00 |