Maintaining Soft Arc Consistencies in BnB-ADOPT + during Search.

Patricia Gutierrez, Jimmy Ho-Man Lee, Ka Man Lei, Terrence W. K. Mak, Pedro Meseguer

Browse the full CP paper archive.