This project implements a parallel solution for evaluating boolean circuits using Java's concurrent programming features. The implementation focuses on efficient lazy evaluation and optimal thread ...

Abstract: Boolean circuits in d-DNNF form enable tractable probabilistic inference. However, as a key insight of this work, we show that commonly used d-DNNF compilation approaches introduce ...