Title: Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions

　　Speaker: Dr. Liangda Fang, Jinan University, Guangzhou (方良达，副教授，暨南大学，广州)

　　Venue: Seminar Room (Room 334), Building 5, Institute of Software, Chinese Academy of Sciences

　　Time: 15:00, June 25th, Tuesday, 2019

　　Abstract: In this paper, we present a novel data structure for compact representation and effective manipulations of Boolean functions, called Bi-Kronecker Functional Decision Diagrams (BKFDDs). BKFDDs integrate the classical expansions (the Shannon and Davio expansions) and their bi-versions. Thus, BKFDDs are the generalizations of existing decision diagrams: BDDs, FDDs, KFDDs and BBDDs. Interestingly, under certain conditions, it is sufficient to consider the above expansions (the classical expansions and their bi-versions). By imposing reduction and ordering rules, BKFDDs are compact and canonical forms of Boolean functions. The experimental results demonstrate that BKFDDs outperform other existing decision diagrams in terms of sizes.

　　Bio: 方良达现为暨南大学信息科学技术学院计算机科学系副教授。于2015年12月获得中山大学计算机软件与理论专业博士学位。目前是中国计算机学会（CCF）、中国人工智能学会（CAAI）以及美国人工智能学会（AAAI）会员，并担任 IJCAI 和 AAAI 的程序委员。曾作为访问学者前往法国洛林计算机科学研究与应用实验室（LORIA）、浙江大学人文学院、澳大利亚格里菲斯大学做访问学者以及香港科技大学进行学术访问。过去多年一直从事人工智能、知识表示与推理的研究工作。已发表论文14篇，包括中国计算机学会推荐A类学术会议和期刊论文10篇，第一作者或者通讯作者8篇，其中包括Artificial Intelligence、Journal of Machine Learning Research、IJCAI以及AAAI。