Read-Once Resolutions in Horn Formulas.

Hans Kleine Büning Piotr J. Wojciechowski K. Subramani

Published in: FAW (2019)

Keyphrases

horn formulas
knowledge compilation
revision operators
high resolution
max sat
databases
machine learning
artificial intelligence
knowledge based systems
read once formulas