The expressive power of binary submodular functions.
Stanislav ZivnýDavid A. CohenPeter G. JeavonsPublished in: Discret. Appl. Math. (2009)
Keyphrases
- expressive power
- submodular functions
- query language
- first order logic
- greedy algorithm
- data complexity
- transitive closure
- computational properties
- facility location problem
- relational algebra
- combinatorial optimization
- objective function
- convex optimization
- energy function
- simulated annealing
- theoretical guarantees
- relational calculus
- search space
- expert systems
- artificial intelligence
- monadic second order logic