Proving the infeasibility of Horn formulas through read-once resolution.

Piotr Wojciechowski K. Subramani

Published in: Discret. Appl. Math. (2024)

Keyphrases

horn formulas
knowledge compilation
databases
machine learning
natural language
expert systems
high resolution
domain knowledge
knowledge representation
inference rules
max sat