Dsharp: Fast d-DNNF Compilation with sharpSAT.

Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu

Browse the full AI paper archive.