Maintaining Soft Arc Consistency in BNB-Adopt+ During Search (2013)

by P Gutierrez, J H M Lee, K M Lei, T W K Mak, P Meseguer
Venue:In Proceedings of the 19th International Conference on Principles and Practice of Constraint Programming (CP 2013), Lecture Notes in Computer Science 8124