Treffer: Power of Enumeration -- BDD/ZDD-Based Techniques for Discrete Structure Manipulation
Title:
Power of Enumeration -- BDD/ZDD-Based Techniques for Discrete Structure Manipulation
Authors:
Source:
2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL) Multiple-Valued Logic (ISMVL), 2016 IEEE 46th International Symposium on. :143-143 May, 2016
Relation:
2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL)
Database:
IEEE Xplore Digital Library