Reasoning Algorithms

• Tasks

  • Satisfiability
  • Entailment

• Approach

  • Systematic (e.g. DPLL)
  • Stochastic (e.g. GSAT)

• Properties

  • Soundness
  • Completeness
  • Complexity

Previous slide

Next slide

Back to first slide

View graphic version