Length Of Proofs

• Best know improvement on truth tables: resolution

  • Resolve clauses until empty clause is reached.
  • Widely used in automated theorem proving.

• DP is a form of resolution.

Previous slide

Next slide

Back to first slide

View graphic version