Login / Signup
The Merits of Compositional Abstraction: A Case Study in Propositional Logic.
Michael Huth
Published in:
Models, Mindsets, Meta (2018)
Keyphrases
</>
propositional logic
belief revision
first order logic
possibilistic logic
quantified boolean formulae
lattice theory
davis putnam
proof procedure
machine learning
theorem proving
propositional satisfiability
multi context systems
satisfiability testing