On Finding the Optimal BDD Relaxation.

David Bergman André Augusto Ciré

Published in: CPAIOR (2017)

Keyphrases

finding optimal
optimal solution
databases
expert systems
worst case
genetic algorithm
computer vision
objective function
multi objective
exhaustive search