Applications of MaxSAT in Automotive Configuration.

Rouven Walter Christoph Zengler Wolfgang Küchlin

Published in: Configuration Workshop (2013)

Keyphrases

upper bound
automotive industry
branch and bound algorithm
combinatorial optimization
sat solvers
case study
reinforcement learning
special case
np hard
driver assistance