Formula Simplifications as DRAT Derivations.

Norbert Manthey Tobias Philipp

Published in: KI (2014)

Keyphrases

inference rules
database
propositional formulas
real time
machine learning
relational databases
utility function
logical formulas