Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381)

Adnan Darwiche, Pierre Marquis, Dan Suciu, Stefan Szeider, Marc Herbstritt
2018 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 17381 "Recent Trends in Knowledge Compilation".
doi:10.4230/dagrep.7.9.62 dblp:journals/dagstuhl-reports/DarwicheMSS17 fatcat:gitzmlyoxjaapcyjhtpsaqxs3e