Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Resolution – Strategies

  • Order of clause combination is important

    • N clauses → N2 ways of combinations or checking to see whether they can be combined

    • Search heuristics are very important in resolution proof procedures

  • Strategies

    • Breadth-First Strategy

    • Set of Support Strategy

    • Unit Preference Strategy

    • Linear Input Form Strategy


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.