The Expressive Power of Binary Submodular Functions.

Stanislav Zivný David A. Cohen Peter G. Jeavons

Published in: MFCS (2009)

Keyphrases

expressive power
submodular functions
greedy algorithm
query language
first order logic
transitive closure
data complexity
relational algebra
facility location problem
computational properties
monadic second order logic
graphical models
convex optimization
relational calculus
user defined aggregates