Login / Signup
Submodular Function Maximization Over Graphs via Zero-Suppressed Binary Decision Diagrams.
Shinsaku Sakaue
Masaaki Nishino
Norihito Yasuda
Published in:
AAAI (2018)
Keyphrases
</>
binary decision diagrams
submodular functions
greedy algorithm
boolean functions
objective function
symbolic model checking
model checking
knowledge compilation
facility location problem
planning problems
energy function
dynamic programming
state space
domain specific
graph cuts
combinatorial optimization