Refutation-complete binary decision diagrams. Sanner, S. Technical Report University of Toronto, 2004.
Refutation-complete binary decision diagrams [pdf]Paper  bibtex   

Downloads: 0