Extending Super-solutions

Download PDF
Open Webpage

Emmanuel Hebrard

Published: 2004, Last Modified: 22 May 2025CP 2004EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Super solutions, introduced first for SAT problems in [1], are solutions in which, if a small number of variables lose their values, we are guaranteed to be able to repair the solution with only a few changes. In this paper, we stress the need to extend the super-solution framework along several dimensions to make it more useful practically.