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。