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:
“We live under continual threat of two equally fearful, but seemingly opposed, destinies: unremitting banality and inconceivable terror. It is fantasy, served out in large rations by the popular arts, which allows most people to cope with these twin specters.”
—Susan Sontag (b. 1933)
“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)