Publisher
Springer International Publishing
Reference18 articles.
1. Bahar, R.I., et al.: Algebraic decision diagrams and their applications. In: Proceedings International Conference on Computer-Aided Design, pp. 188–191 (1993)
2. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. 100(8), 677–691 (1986)
3. Lecture Notes in Computer Science;P Faymonville,2017
4. Gascón, A., Subramanyan, P., Dutertre, B., Tiwari, A., Jovanovic, D., Malik, S.: Template-based circuit understanding. In: Formal Methods in Computer-Aided Design (FMCAD) (2014)
5. Janota, M.: Towards generalization in QBF solving via machine learning. In: AAAI Conference on Artificial Intelligence (2018)