Variable ordering for decision diagrams: A portfolio approach.

Anthony Karahalios Willem-Jan van Hoeve

Published in: Constraints An Int. J. (2022)

Keyphrases

variable ordering
decision diagrams
binary decision diagrams
boolean functions
markov decision processes
branch and bound algorithm
planning problems
digital circuits
model checking
data mining
efficient computation
machine learning
multi dimensional
max sat
knowledge compilation