Finite semigroups imposing tractable constraints

Finite semigroups imposing tractable constraints

書誌詳細
主要な著者:	Bulatov, A, Jeavons, P, Volkov, M
フォーマット:	Conference item
出版事項:	World Scientific‚ Singapore 2002

類似資料

Tractable constraints closed under a binary operation
著者:: Bulatov, A, 等
出版事項: (2000)

Perfect Constraints Are Tractable
著者:: Salamon, A, 等
出版事項: (2008)

Perfect Constraints Are Tractable
著者:: Salamon, A, 等
出版事項: (2008)

Tractable valued constraints
著者:: Jeavons, P, 等
出版事項: (2012)

Tractable Valued Constraints
著者:: Jeavons, P, 等
出版事項: (2013)

Tractable Disjunctive Constraints
著者:: D.A.Cohen, 等
出版事項: (1997)

Characterising Tractable Constraints
著者:: M.C.Cooper, 等
出版事項: (1994)

Tractable Benchmarks For Constraint Programming
著者:: Petke, J, 等
出版事項: (2009)

Tractable Constraints on Ordered Domains
著者:: P.G.Jeavons, 等
出版事項: (1995)

Building tractable disjunctive constraints
著者:: Cohen, D, 等
出版事項: (2000)

Building tractable disjunctive constraints
著者:: Cohen, D, 等
出版事項: (2000)

Tractable Combinations of Global Constraints
著者:: Cohen, D, 等
出版事項: (2013)

Tractable combinations of global constraints
著者:: Cohen, D, 等
出版事項: (2013)

A Unifying Framework for Tractable Constraints
著者:: P.G.Jeavons, 等
出版事項: (1995)

A maximal tractable class of soft constraints
著者:: Cohen, D, 等
出版事項: (2004)

A maximal tractable class of soft constraints
著者:: Cohen, D, 等
出版事項: (2004)

A Survey of Tractable Constraint Satisfaction Problems
著者:: J.K.Pearson, 等
出版事項: (1997)

Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination
著者:: Cooper, M, 等
出版事項: (2010)

Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination
著者:: Cooper, M, 等
出版事項: (2010)

Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination
著者:: Cooper, M, 等
出版事項: (2010)

A unified theory of structural tractability for constraint satisfaction problems
著者:: Cohen, D, 等
出版事項: (2008)

A unified theory of structural tractability for constraint satisfaction problems
著者:: Cohen, D, 等
出版事項: (2008)

Constraint Tractability Theory And Its Application to the Product Development Process for a Constraint−Based Scheduler
著者:: Purvis, L, 等
出版事項: (1999)

Constraint satisfaction problems and finite algebras
著者:: Bulatov, A, 等
出版事項: (2000)

Constraint satisfaction problems and finite algebras
著者:: Bulatov, A, 等
出版事項: (2000)

The order encoding: from tractable CSP to tractable SAT
著者:: Petke, J, 等
出版事項: (2011)

The order encoding: From tractable CSP to tractable SAT
著者:: Petke, J, 等
出版事項: (2011)

Structural Theory of Automata‚ Semigroups‚ and Universal Algebra
著者:: Krokhin, A, 等
出版事項: (2003)

Classifying the complexity of constraints using finite algebras
著者:: Bulatov, A, 等
出版事項: (2005)

Classifying the complexity of constraints using finite algebras
著者:: Bulatov, A, 等
出版事項: (2005)

The order encoding: from tractable CSP to tractable SAT (extended abstract)
著者:: Petke, J, 等
出版事項: (2011)

A Test for Tractability
著者:: P.G.Jeavons, 等
出版事項: (1996)

On Tractable Queries and Constraints
著者:: Gottlob, G, 等
出版事項: (1999)

Implementing a test for tractability
著者:: Gault, R, 等
出版事項: (2004)

Implementing a test for tractability
著者:: Gault, R, 等
出版事項: (2004)

New tractable classes from old
著者:: Cohen, D, 等
出版事項: (2003)

New Tractable Classes From Old
著者:: Cohen, D, 等
出版事項: (2003)

Hybrid tractability of soft constraint problems
著者:: Cooper, M, 等
出版事項: (2010)

Hybrid tractability of valued constraint problems
著者:: Cooper, M, 等
出版事項: (2011)

Hybrid tractability of soft constraint problems
著者:: Cooper, M, 等
出版事項: (2010)