Dsharp: Fast d-DNNF Compilation with sharpSAT

Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30353-1_36 ◽

2012 ◽

pp. 356-361 ◽

Cited By ~ 27

Author(s):

Christian Muise ◽

Sheila A. McIlraith ◽

J. Christopher Beck ◽

Eric I. Hsu

Download Full-text