Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
From type inference to configuration
The essence of computation
An optimal coarse-grained arc consistency algorithm
Artificial Intelligence
When functional and bijective constraints make a CSP polynomial
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Consistency techniques for numeric CSPs
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Using inference to reduce arc consistency computation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
An optimal coarse-grained arc consistency algorithm
Artificial Intelligence
AC3-OP: An Arc-Consistency Algorithm for Arithmetic Constraints
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
AC3-OP: An Arc-Consistency Algorithm for Arithmetic Constraints
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Arc-consistency and arc-consistency again
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A fine-grained arc-consistency algorithm for non-normalized constraint satisfaction problems
International Journal of Applied Mathematics and Computer Science
Hi-index | 0.00 |