Author:
Lee Taito,Denzumi Shuhei,Sadakane Kunihiko
Publisher
Springer International Publishing
Reference14 articles.
1. Arroyuelo, D., Cánovas, R., Navarro, G., Sadakane, K.: Succinct trees in practice. In: Proceedings of the 11th Workshop on Algorithm Engineering and Experiments (ALENEX), pp. 84–97. SIAM Press (2010)
2. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. C–35(8), 677–691 (1986)
3. Lecture Notes in Computer Science;S Denzumi,2014
4. Hansen, E.R., Rao, S.S., Tiedemann, P.: Compressing binary decision diagrams. In: Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008), pp. 799–800. ACM (2008)
5. Lecture Notes in Computer Science;S Joannou,2012