Solution Stability in Constraint Satisfaction Problems

Download PDF
Open Webpage

Emmanuel Hebrard

Published: 2003, Last Modified: 22 May 2025CP 2003EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Solution stability is the ability of a new solution to share as many values as possible with the original if a break arises. Whenever large changes to a solution introduces additional expense or reorganisation, stability is valuable. Stability also facilitate the search for a new solution. Supermodels are solutions of SAT formulas which are stable to change [MGR98]. We propose the following extention of the definition of supermodels to the CSP framework.