@proceedings{DarwicheMSS17,
 doi = {10.4230/DagRep.7.9.62},
 editor = {Adnan Darwiche and
Pierre Marquis and
Dan Suciu and
Stefan Szeider},
 number = {9},
 series = {Dagstuhl Reports},
 title = {Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381)},
 url = {https://doi.org/10.4230/DagRep.7.9.62},
 volume = {7},
 year = {2017}
}