Hierarchical Set Decision Diagrams and Regular Models.

Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon

Browse the full TACAS paper archive.