Knowledge compilation languages as proof systems.

Florent Capelli

Published in: CoRR (2019)

Keyphrases

knowledge compilation
target language
product configuration
databases
decision making
prime implicates