Fast d-DNNF Compilation with sharpSAT.
Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu
VenueA*AAAI
Year2010
ProceedingsAbstraction, Reformulation, and Approximation
DBLP recordconf/aaai/MuiseMBH10 ↗
Browse the full AAAI paper archive.