Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units.

Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli

Browse the full ATVA paper archive.