no code implementations • 20 Apr 2017 • Clement Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Zivny
Singleton arc consistency is an important type of local consistency which has been recently shown to solve all constraint satisfaction problems (CSPs) over constraint languages of bounded width.
no code implementations • 12 Feb 2015 • David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivny
Variable or value elimination in a constraint satisfaction problem (CSP) can be used in preprocessing or during search to reduce search space size.