decdnnf_rs: A Framework for Querying d-DNNF (Tool Paper).

Jean-Marie Lagniez, Emmanuel Lonca

Browse the full SAT paper archive.