Finite semigroups imposing tractable constraints

Finite semigroups imposing tractable constraints

Chi tiết về thư mục
Những tác giả chính:	Bulatov, A, Jeavons, P, Volkov, M
Định dạng:	Conference item
Được phát hành:	World Scientific‚ Singapore 2002

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

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

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)

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

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

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)

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)

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)

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

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)

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

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 unified theory of structural tractability for constraint satisfaction problems
Bằng: Cohen, D, et al.
Được phát hành: (2008)

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

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)

Constraint satisfaction problems and finite algebras
Bằng: Bulatov, A, et al.
Được phát hành: (2000)

Constraint satisfaction problems and finite algebras
Bằng: Bulatov, A, et al.
Được phát hành: (2000)

The order encoding: from tractable CSP to tractable SAT
Bằng: Petke, J, et al.
Được phát hành: (2011)

The order encoding: From tractable CSP to tractable SAT
Bằng: Petke, J, et al.
Được phát hành: (2011)

Structural Theory of Automata‚ Semigroups‚ and Universal Algebra
Bằng: Krokhin, A, et al.
Được phát hành: (2003)

Classifying the complexity of constraints using finite algebras
Bằng: Bulatov, A, et al.
Được phát hành: (2005)

Classifying the complexity of constraints using finite algebras
Bằng: Bulatov, A, et al.
Được phát hành: (2005)

The order encoding: from tractable CSP to tractable SAT (extended abstract)
Bằng: Petke, J, et al.
Được phát hành: (2011)

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

On Tractable Queries and Constraints
Bằng: Gottlob, G, et al.
Được phát hành: (1999)

Implementing a test for tractability
Bằng: Gault, R, et al.
Được phát hành: (2004)

Implementing a test for tractability
Bằng: Gault, R, et al.
Được phát hành: (2004)

New tractable classes from old
Bằng: Cohen, D, et al.
Được phát hành: (2003)

New Tractable Classes From Old
Bằng: Cohen, D, et al.
Được phát hành: (2003)

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)