Automatic Theorem Provers

  • Felix Wruck
  • Published 2017


In this work an overview of the history and state of the art of automatic theorem proving is given. The early work of Hilbert, Herbrand and others is discussed, as well as the ground resolution, DPLL and Robins’s resolution method. Afterwards some of the most impacting results will be discussed in more detail. At the end ’E’, a current, powerful automatic… (More)

1 Figure or Table


  • Presentations referencing similar topics