Popular Techniques
- First-order resolution with unification
- Lean theorem proving
- Model elimination
- Method of analytic tableaux
- Superposition and term rewriting
- Model checking
- Mathematical induction
- Binary decision diagrams
- DPLL
- Higher-order unification
Read more about this topic: Automated Theorem Proving
Famous quotes containing the words popular and/or techniques:
“Just try to prove you’re not a camel!”
—Russian saying popular in the Soviet period, trans. by Vladimir Ivanovich Shlyakov (1993)
“The techniques of opening conversation are universal. I knew long ago and rediscovered that the best way to attract attention, help, and conversation is to be lost. A man who seeing his mother starving to death on a path kicks her in the stomach to clear the way, will cheerfully devote several hours of his time giving wrong directions to a total stranger who claims to be lost.”
—John Steinbeck (1902–1968)