On the existence of polynomial time algorithms for interpolation problems in propositional logic.
Elias DahlhausAmos IsraeliJohann A. MakowskyPublished in: Notre Dame J. Formal Log. (1988)
Keyphrases
- propositional logic
- optimization problems
- solving hard
- satisfiability testing
- computational complexity
- propositional satisfiability
- combinatorial optimization
- expert systems
- first order logic
- belief revision
- possibilistic logic
- artificial intelligence
- orders of magnitude
- combinatorial problems
- integer linear programming
- lattice theory