Generalising submodularity and horn clauses: Tractable optimization problems defined by tournament pair multimorphismsa
The submodular function minimization problem (SFM) is a fundamental problem in combinatorial optimization and several fully combinatorial polynomial-time algorithms have recently been discovered to solve this problem. The most general versions of these algorithms are able to minimize any submodular...
Main Authors: | Cohen, D, Cooper, M, Jeavons, P |
---|---|
Format: | Journal article |
Language: | English |
Published: |
Elsevier
2008
|
Similar Items
-
Generalising Submodularity and Horn Clauses: Tractable optimization problems defined by tournament pair multimorphisms
by: Jeavons, P, et al.
Published: (2006) -
Generalising submodularity and Horn clauses: tractable optimization problems defined by tournament pair multimorphisms
by: Cohen, D, et al.
Published: (2008) -
Generalising tractable VCSPs defined by symmetric tournament pair multimorphisms
by: Kolmogorov, V, et al.
Published: (2010) -
Tractable classes of binary CSPs defined by excluded topological minors
by: Cohen, D, et al.
Published: (2015) -
Higher-order constrained horn clauses for verification
by: Cathcart Burn, T, et al.
Published: (2017)