Permutation Problems and Channelling Constraints
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Knowledge base reuse through constraint relaxation
Proceedings of the 3rd international conference on Knowledge capture
Meetings scheduling solver enhancement with local consistency reinforcement
Applied Intelligence
Regular-SAT: A many-valued approach to solving combinatorial problems
Discrete Applied Mathematics
Generalised arc consistency for the AllDifferent constraint: An empirical survey
Artificial Intelligence
Dual modelling of permutation and injection problems
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
Balance and filtering in structured satisfiable problems
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Decompositions of all different, global cardinality and related constraints
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Hi-index | 0.00 |