MORBDD: Multiobjective Restricted Binary Decision Diagrams durch Lernen zur Verknappung

MORBDD nutzt maschinelles Lernen, um BDDs zu verknappen und die Multiobjektive binäre lineare Optimierung zu beschleunigen.