Improved Algorithm for Finding (a, b)-Super Solutions

Download PDF
Open Webpage

Emmanuel Hebrard, Toby Walsh

Published: 2005, Last Modified: 22 May 2025CP 2005EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Super solutions are a mechanism to provide robustness to constraint programs. We introduce a new algorithm that exploits the similarity between a super solution and its repairs in order to do inference during search. It improves on previous methods since it is more space efficient and also faster in practice.