Research Directions in Decision Diagram Technology.

Gianfranco Ciardo Andrew S. Miner

Published in: JVA (2023)

Keyphrases

decision diagrams
domain specific
post processing
efficient computation
multi valued decision diagrams