"A New Decomposition Algorithm for Threshold Synthesis and Generalization ..."

José Luis Subirats, José M. Jerez, Leonardo Franco (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics