The paper compares two popular strategies for solving propositional satisfiability, backtracking search and resolution, and analyzes the complexity of a directional resolution algorithm (DR) as a function of the "width" (w) of the problem's graph. The paper also emphasizes the knowledge-compilation properties of DR and extends it to a tree-clustering algorithm that facilitates query answering. Finally, the paper proposes two hybrid algorithms that combine the advantages of both DR and DP.
Did you find this white paper useful?
25 out of 50 users found this white paper useful
Related white papers
Using Navigation Data to Improve IR Functions in the Context of Web Search
As part of the process of delivering content, devices like proxies and gateways log valuable information about the activities and navigation patterns of users on the Web. This paper considers...
Mapping of EuroWordnet Top Ontology to Upper Cyc Ontology
A mapping of EuroWordNet Top Ontology into Upper Cyc Ontology is presented. The mapping is expressed in terms of a CycL microtheory encoding of the EuroWordNet Top Ontology, because it...
Momentum Webcast: The Enterprise Search Platform in SharePoint Server 2007 (Level 100)
Microsoft has a great appreciation for the business challenges associated with finding, using, and sharing information across the enterprise. To that end, this webcast on the enterprise search solutions in...
Search Engine Link Spam: Risks, Threats, Solution
Ingenious spammers never stop creating new tricks to get their spam and its dangerous URL links past traditional defenses. In this white paper, you'll learn about a number of these...
Live Webinar: Enhance Customer Experience and Increase Employee Productivity with Google Enterprise Solutions for Retail
Retail companies are heavily embracing technology across all aspects of their business. However, in the existing maze of technologies, finding simple solutions to enhance customer experience or to increase...
Distributor Simplifies Digital Records Management With New Operating System
Employees of logistics service provider Inveso take and store digital pictures of inventory items in order to monitor their stock. Thanks to the new Instant Search function in Windows Vista,...
Flash Demo: IBM OmniFind Enterprise Edition for Searching Domino
This recorded demonstration shows how IBM OmniFind Enterprise Edition helps organizations maximize employee productivity and knowledge sharing in Lotus Domino environments by providing scalable, secure, and high-quality enterprise search.
