Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381).

Adnan Darwiche Pierre Marquis Dan Suciu Stefan Szeider

Published in: Dagstuhl Reports (2017)

Keyphrases

recent trends
knowledge compilation
product configuration
image and video processing
normal form
future trends
polynomial size
prime implicates
model counting
constraint satisfaction problems
machine learning
information technology
knowledge based systems
quality assessment
decomposable negation normal form