Variable elimination in binary CSP via forbidden patterns

Variable elimination in binary CSP via forbidden patterns

Bibliographic Details
Main Authors:	Cohen, D, Cooper, M, Escamoche, G, Živný, S
Format:	Conference item
Published:	2013

Similar Items

Variable and value elimination in binary constraint satisfaction via forbidden patterns
by: Cohen, DA, et al.
Published: (2015)

A Characterisation of the Complexity of Forbidding Subproblems in Binary Max−CSP
by: Cooper, M, et al.
Published: (2012)

The power of arc consistency for CSPs defined by partially-ordered forbidden patterns
by: Cooper, M, et al.
Published: (2016)

The power of arc consistency for CSPs defined by partially-ordered forbidden patterns
by: Cooper, M, et al.
Published: (2017)

The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns
by: Martin C. Cooper, et al.
Published: (2017-12-01)

Backdoors into heterogeneous classes of SAT and CSP
by: Gaspers, S, et al.
Published: (2016)

Backdoors into heterogeneous classes of SAT and CSP
by: Gaspers, S, et al.
Published: (2014)

Backdoors into heterogeneous classes of SAT and CSP
by: Gaspers, S, et al.
Published: (2016)

Approximate counting CSP seen from the other side
by: Bulatov, A, et al.
Published: (2020)

Approximate counting CSP seen from the other side
by: Bulatov, A, et al.
Published: (2019)

Supermodular Functions and the Complexity of MAX CSP
by: Cohen, D, et al.
Published: (2004)

Supermodular functions and the complexity of MAX CSP
by: Cohen, D, et al.
Published: (2005)

Set families with a forbidden pattern
by: Karpas, I, et al.
Published: (2017)

Universal Structures and the logic of Forbidden Patterns
by: Florent R. Madelaine
Published: (2009-06-01)

Bounds on extremal functions of forbidden patterns
by: Geneson, Jesse (Jesse T.)
Published: (2015)

Binary constraint satisfaction problems defined by excluded topological minors
by: Cohen, D, et al.
Published: (2018)

Tractable classes of binary CSPs defined by excluded topological minors
by: Cohen, D, et al.
Published: (2015)

Identifying efficiently solvable cases of Max CSP
by: Cohen, D, et al.
Published: (2004)

Supermodular functions and the complexity of M-AX CSP
by: Cohen, D, et al.
Published: (2005)

The forbidden /
by: 507757 Banks, L. A.
Published: (2005)

FORBIDDEN REGIONS FOR SHOCK FORMATION IN DIFFUSIVE SYSTEMS
by: Witelski, T, et al.
Published: (1995)

Termination of Rewriting with and Automated Synthesis of Forbidden Patterns
by: Bernhard Gramlich, et al.
Published: (2010-12-01)

The Expressive Power of Binary Submodular Functions
by: Živný, S, et al.
Published: (2008)

The Expressive Power of Binary Submodular Functions.
by: Zivny, S, et al.
Published: (2009)

The Expressive Power of Binary Submodular Functions
by: Zivny, S, et al.
Published: (2008)

The expressive power of binary submodular functions
by: Živný, S, et al.
Published: (2009)

The Expressive Power of Binary Submodular Functions
by: Živný, S, et al.
Published: (2008)

The Expressive Power of Binary Submodular Functions
by: Živný, S, et al.
Published: (2009)

The Expressive Power of Binary Submodular Functions
by: Živný, S, et al.
Published: (2009)

The Expressive Power of Binary Submodular Functions
by: Zivny, S, et al.
Published: (2008)

Compiling Shared Variable Programs into CSP
by: Roscoe, A
Published: (2001)

Forbidden fruit.
by: Aronson, J
Published: (2001)

The forbidden city /
by: Ren, Yiquan, et al.
Published: (1995)

The forbidden territory /
by: 464495 Wheatley, Dennis
Published: ([s d)

The forbidden circle /
by: 420701 Bradley, Marion Zimmer
Published: (2002)

Forbidden summit /
by: 419786 Harrison, Payne
Published: (1997)

Mapping the forbidden
by: Gunnar Olsson
Published: (2010-11-01)

Mapping the forbidden
by: Gunnar Olsson
Published: (2010-11-01)

Security management via Z and CSP
by: Simpson, A, et al.
Published: (1998)

Chimpanzees share forbidden fruit
by: Hockings, K, et al.
Published: (2007)