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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Sources
There are currently no sources for this slide.