A unified theory of structural tractability for constraint satisfaction problems

A unified theory of structural tractability for constraint satisfaction problems

Hiển thị phiên bản (1) khác

In this paper we derive a generic form of structural decomposition for the constraint satisfaction problem, which we call a guarded decomposition. We show that many existing decomposition methods can be characterised in terms of finding guarded decompositions satisfying certain specified additional...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Cohen, D, Jeavons, P, Gyssens, M
Định dạng:	Journal article
Ngôn ngữ:	English
Được phát hành:	Elsevier 2008

Những quyển sách tương tự

A unified theory of structural tractability for constraint satisfaction problems
Bằng: Cohen, D, et al.
Được phát hành: (2008)

A Unifying Framework for Tractable Constraints
Bằng: P.G.Jeavons, et al.
Được phát hành: (1995)

A Survey of Tractable Constraint Satisfaction Problems
Bằng: J.K.Pearson, et al.
Được phát hành: (1997)

A Test for Tractability
Bằng: P.G.Jeavons, et al.
Được phát hành: (1996)

Decomposing Constraint Satisfaction Problems Using Database Techniques
Bằng: M.Gyssens, et al.
Được phát hành: (1994)

Tractable Disjunctive Constraints
Bằng: D.A.Cohen, et al.
Được phát hành: (1997)

Characterising Tractable Constraints
Bằng: M.C.Cooper, et al.
Được phát hành: (1994)

Building tractable disjunctive constraints
Bằng: Cohen, D, et al.
Được phát hành: (2000)

Building tractable disjunctive constraints
Bằng: Cohen, D, et al.
Được phát hành: (2000)

Tractable Combinations of Global Constraints
Bằng: Cohen, D, et al.
Được phát hành: (2013)

Tractable combinations of global constraints
Bằng: Cohen, D, et al.
Được phát hành: (2013)

Hybrid tractability of constraint satisfaction problems with global constraints
Bằng: Thorstensen, E
Được phát hành: (2013)

Tractable Valued Constraints
Bằng: Jeavons, P, et al.
Được phát hành: (2013)

Tractable valued constraints
Bằng: Jeavons, P, et al.
Được phát hành: (2012)

Perfect Constraints Are Tractable
Bằng: Salamon, A, et al.
Được phát hành: (2008)

Perfect Constraints Are Tractable
Bằng: Salamon, A, et al.
Được phát hành: (2008)

Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination
Bằng: Cooper, M, et al.
Được phát hành: (2010)

Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination
Bằng: Cooper, M, et al.
Được phát hành: (2010)

Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination
Bằng: Cooper, M, et al.
Được phát hành: (2010)

A maximal tractable class of soft constraints
Bằng: Cohen, D, et al.
Được phát hành: (2004)

A maximal tractable class of soft constraints
Bằng: Cohen, D, et al.
Được phát hành: (2004)

Tractable Benchmarks For Constraint Programming
Bằng: Petke, J, et al.
Được phát hành: (2009)

Tractable Constraints on Ordered Domains
Bằng: P.G.Jeavons, et al.
Được phát hành: (1995)

Semantic width and the fixed-parameter tractability of constraint satisfaction problems
Bằng: Chen, H, et al.
Được phát hành: (2020)

Finite semigroups imposing tractable constraints
Bằng: Bulatov, A, et al.
Được phát hành: (2002)

Constraint Tractability Theory And Its Application to the Product Development Process for a Constraint−Based Scheduler
Bằng: Purvis, L, et al.
Được phát hành: (1999)

Tractable constraints closed under a binary operation
Bằng: Bulatov, A, et al.
Được phát hành: (2000)

Symmetry definitions for constraint satisfaction problems
Bằng: Cohen, D, et al.
Được phát hành: (2006)

Symmetry definitions for constraint satisfaction problems
Bằng: Cohen, D, et al.
Được phát hành: (2005)

Symmetry definitions for constraint satisfaction problems
Bằng: Cohen, D, et al.
Được phát hành: (2005)

Symmetry definitions for constraint satisfaction problems
Bằng: Cohen, D, et al.
Được phát hành: (2006)

Binarisation for valued constraint satisfaction problems
Bằng: Cohen, D, et al.
Được phát hành: (2017)

Hybrid tractability of soft constraint problems
Bằng: Cooper, M, et al.
Được phát hành: (2010)

Hybrid tractability of valued constraint problems
Bằng: Cooper, M, et al.
Được phát hành: (2011)

Hybrid tractability of soft constraint problems
Bằng: Cooper, M, et al.
Được phát hành: (2010)

Closure Properties of Constraints
Bằng: P.G.Jeavons, et al.
Được phát hành: (1997)

Binary constraint satisfaction problems defined by excluded topological minors
Bằng: Cohen, D, et al.
Được phát hành: (2018)

Derivation of Constraints and Database Relations
Bằng: D.A.Cohen, et al.
Được phát hành: (1996)

How to determine the expressive power of constraints
Bằng: P.G.Jeavons, et al.
Được phát hành: (1999)

Constraint satisfaction problems on intervals and lengths
Bằng: Krokhin, A, et al.
Được phát hành: (2004)