Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu. Fast d-DNNF Compilation with sharpSAT. In Abstraction, Reformulation, and Approximation, Papers from the 2010 AAAI Workshop, Atlanta, Georgia, USA, July 12, 2010. Volume WS-10-08 of AAAI Workshops, AAAI, 2010. [doi]
Abstract is missing.