Properties of Solvers

• The most restrictive property we can ask:

  • complete: A solver is complete if it always answers true or false
    • (never unknown)

Previous slide

Next slide

Back to first slide

View graphic version