Login / Signup
Compressing Propositional Refutations.
Hasan Amjad
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
propositional logic
first order logic
data compression
multi valued
theorem prover
probabilistic logic
strips planning
modus ponens
search algorithm
default logic
satisfiability testing
decomposable negation normal form