research
∙
12/19/2022
Fast Converging Anytime Model Counting
Model counting is a fundamental problem which has been influential in ma...
share
research
∙
02/21/2022
CCDD: A Tractable Representation for Model Counting and Uniform Sampling
Knowledge compilation concerns with the compilation of representation la...
research
∙
05/18/2018
Approximate Model Counting by Partial Knowledge Compilation
Model counting is the problem of computing the number of satisfying assi...
research
∙
10/24/2014
Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition
This paper augments OBDD with conjunctive decomposition to propose a gen...
research
∙
08/14/2012
Ordered AND, OR-Decomposition and Binary-Decision Diagram
In the context of knowledge compilation (KC), we study the effect of aug...
research
∙
03/16/2011