Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic.
Igor GammerEyal AmirPublished in: SARA (2007)
Keyphrases
- propositional logic
- satisfiability testing
- lattice theory
- proof procedure
- belief revision
- horn logic
- possibilistic logic
- solving hard
- first order logic
- quantified boolean formulae
- valued logic
- propositional variables
- np hard
- davis putnam
- computational properties
- propositional formulas
- propositional satisfiability
- belief change
- temporal logic
- combinatorial optimization
- computational complexity