Constraint Programming Lessons Learned from Crossword Puzzles
AI '01 Proceedings of the 14th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
GAC on Conjunctions of Constraints
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
Removing propagation redundant constraints in redundant modeling
ACM Transactions on Computational Logic (TOCL)
Exploiting functional dependencies in declarative problem specifications
Artificial Intelligence
Compact Representation of Sets of Binary Constraints
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Dual modelling of permutation and injection problems
Journal of Artificial Intelligence Research
Binary encodings of non-binary constraint satisfaction problems: algorithms and experimental results
Journal of Artificial Intelligence Research
A fast and simple algorithm for bounds consistency of the all different constraint
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Value ordering for finding all solutions
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
CGRASS: a system for transforming constraint satisfaction problems
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Hi-index | 0.00 |