by Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky
Reference:
On Compiling CNFs into Structured Deterministic DNNFsSimone Bova, Florent Capelli, Stefan Mengel, Friedrich SlivovskyTheory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, pages 199–214, 2015.
Bibtex Entry:
@inproceedings{BovaCapelliMengelSlivovsky15,
author = {Simone Bova and
Florent Capelli and
Stefan Mengel and
Friedrich Slivovsky},
title = {On Compiling CNFs into Structured Deterministic DNNFs},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2015 - 18th
International Conference, Austin, TX, USA, September 24-27, 2015,
Proceedings},
pages = {199--214},
year = {2015}
}