Model counting is a fundamental problem which has been influential in ma...
Knowledge compilation concerns with the compilation of representation
la...
Model counting is the problem of computing the number of satisfying
assi...
This paper augments OBDD with conjunctive decomposition to propose a
gen...
In the context of knowledge compilation (KC), we study the effect of
aug...
Knowledge compilation is an approach to tackle the computational
intract...