The Representation of Indiscernibility Relation Using ZBDDs

Qianjin Wei, Tianlong Gu, Fengying Li, Guoyong Cai. The Representation of Indiscernibility Relation Using ZBDDs. In Zhongzhi Shi, David B. Leake, Sunil Vadera, editors, Intelligent Information Processing VI - 7th IFIP TC 12 International Conference, IIP 2012, Guilin, China, October 12-15, 2012. Proceedings. Volume 385 of IFIP Advances in Information and Communication Technology, pages 216-225, Springer, 2012. [doi]

Abstract

Abstract is missing.