A Probabilistic Approach to Satisfiability of Propositional Logic Formulae.
Reazul Hasan RusselPublished in: CoRR (2019)
Keyphrases
- propositional logic
- quantified boolean formulae
- valued logic
- first order logic
- satisfiability testing
- belief revision
- possibilistic logic
- lattice theory
- probabilistic reasoning
- belief change
- propositional formulas
- horn logic
- propositional variables
- propositional satisfiability
- domain knowledge
- lower bound
- artificial intelligence