Conflict directed backjumping for Max-CSPs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Using inference to reduce arc consistency computation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Retroactive ordering for dynamic backtracking
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Hi-index | 0.00 |