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