Finite semigroups imposing tractable constraints
Hauptverfasser: | Bulatov, A, Jeavons, P, Volkov, M |
---|---|
Format: | Conference item |
Veröffentlicht: |
World Scientific‚ Singapore
2002
|
Ähnliche Einträge
The order encoding: from tractable CSP to tractable SAT
von: Petke, J, et al.
Veröffentlicht: (2011)
von: Petke, J, et al.
Veröffentlicht: (2011)
Ähnliche Einträge
-
Tractable constraints closed under a binary operation
von: Bulatov, A, et al.
Veröffentlicht: (2000) -
Perfect Constraints Are Tractable
von: Salamon, A, et al.
Veröffentlicht: (2008) -
Perfect Constraints Are Tractable
von: Salamon, A, et al.
Veröffentlicht: (2008) -
Tractable valued constraints
von: Jeavons, P, et al.
Veröffentlicht: (2012) -
Tractable Valued Constraints
von: Jeavons, P, et al.
Veröffentlicht: (2013)