no code implementations • 10 Nov 2021 • Dongran Yu, Bo Yang, Dayou Liu, Hui Wang, Shirui Pan
In recent years, neural systems have demonstrated highly effective learning ability and superior perception intelligence.
no code implementations • 24 Oct 2014 • Yong Lai, Dayou Liu, Minghao Yin
This paper augments OBDD with conjunctive decomposition to propose a generalization called OBDD[$\wedge$].
no code implementations • 14 Aug 2012 • Yong Lai, Dayou Liu
In the context of knowledge compilation (KC), we study the effect of augmenting Ordered Binary Decision Diagrams (OBDD) with two kinds of decomposition nodes, i. e., AND-vertices and OR-vertices which denote conjunctive and disjunctive decomposition of propositional knowledge bases, respectively.