A Distributed Framework for Compiling and Reasoning with d-DNNF.

Zhenghang Xu, Minghao Yin, Jianan Wang, Jean-Marie Lagniez

Browse the full KR paper archive.