Search Results for author: Stanislav Zivny

Found 2 papers, 0 papers with code

On Singleton Arc Consistency for CSPs Defined by Monotone Patterns

no code implementations20 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.

General Classification

Variable and value elimination in binary constraint satisfaction via forbidden patterns

no code implementations12 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.