summaryrefslogtreecommitdiffstats
path: root/src/opt/dsc/module.make
Commit message (Collapse)AuthorAgeFilesLines
* Disjoint-support decomposition with cofactoring and boolean difference analysisVinicius Callegaro2016-11-081-0/+1
from V. Callegaro, F. S. Marranghello, M. G. A. Martins, R. P. Ribas and A. I. Reis, entitled "Bottom-up disjoint-support decomposition based on cofactor and boolean difference analysis" presented in ICCD'15.