"Implicit permutation enumeration networks and binary decision diagrams ..."

Stergios Stergiou (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics