Tractable constraints closed under a binary operation

Tractable constraints closed under a binary operation

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Bulatov, A, Jeavons, P
Μορφή:	Report
Έκδοση:	Oxford University Computing Laboratory 2000

Παρόμοια τεκμήρια

Finite semigroups imposing tractable constraints
ανά: Bulatov, A, κ.ά.
Έκδοση: (2002)

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)

Tractable Benchmarks For Constraint Programming
ανά: Petke, J, κ.ά.
Έκδοση: (2009)

Characterising Tractable Constraints
ανά: M.C.Cooper, κ.ά.
Έκδοση: (1994)

Tractable Constraints on Ordered Domains
ανά: P.G.Jeavons, κ.ά.
Έκδοση: (1995)

Tractable Combinations of Global Constraints
ανά: Cohen, D, κ.ά.
Έκδοση: (2013)

Tractable combinations of global constraints
ανά: Cohen, D, κ.ά.
Έκδοση: (2013)

Building tractable disjunctive constraints
ανά: Cohen, D, κ.ά.
Έκδοση: (2000)

Building tractable disjunctive constraints
ανά: Cohen, D, κ.ά.
Έκδοση: (2000)

A Unifying Framework for Tractable Constraints
ανά: P.G.Jeavons, κ.ά.
Έκδοση: (1995)

A Survey of Tractable Constraint Satisfaction Problems
ανά: J.K.Pearson, κ.ά.
Έκδοση: (1997)

A maximal tractable class of soft constraints
ανά: Cohen, D, κ.ά.
Έκδοση: (2004)

A maximal tractable class of soft constraints
ανά: Cohen, D, κ.ά.
Έκδοση: (2004)

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)

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)

Tractable classes of binary CSPs defined by excluded topological minors
ανά: Cohen, D, κ.ά.
Έκδοση: (2015)

Constraint Tractability Theory And Its Application to the Product Development Process for a Constraint−Based Scheduler
ανά: Purvis, L, κ.ά.
Έκδοση: (1999)

The order encoding: from tractable CSP to tractable SAT
ανά: Petke, J, κ.ά.
Έκδοση: (2011)

The order encoding: From tractable CSP to tractable SAT
ανά: Petke, J, κ.ά.
Έκδοση: (2011)

The order encoding: from tractable CSP to tractable SAT (extended abstract)
ανά: Petke, J, κ.ά.
Έκδοση: (2011)

Implementing a test for tractability
ανά: Gault, R, κ.ά.
Έκδοση: (2004)

Implementing a test for tractability
ανά: Gault, R, κ.ά.
Έκδοση: (2004)

A Test for Tractability
ανά: P.G.Jeavons, κ.ά.
Έκδοση: (1996)

On Tractable Queries and Constraints
ανά: Gottlob, G, κ.ά.
Έκδοση: (1999)

New tractable classes from old
ανά: Cohen, D, κ.ά.
Έκδοση: (2003)

New Tractable Classes From Old
ανά: Cohen, D, κ.ά.
Έκδοση: (2003)

Tractable query answering and rewriting under description logic constraints.
ανά: Pérez-Urbina, H, κ.ά.
Έκδοση: (2010)

Tractable Query Answering and Rewriting under Description Logic Constraints
ανά: Pérez−Urbina, H, κ.ά.
Έκδοση: (2009)

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)

An algebraic approach to multi-sorted constraints
ανά: Bulatov, A, κ.ά.
Έκδοση: (2003)

An algebraic approach to multi−sorted constraints
ανά: Bulatov, A, κ.ά.
Έκδοση: (2003)