The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Apr. 29, 2003
Filed:
Mar. 08, 2000
Matthew L. Ginsberg, Eugene, OR (US);
Andrew J. Parkes, Walsall, GB;
Abstract
Subsearch, where a satisfiability algorithm searches through the original theory for ground clauses that satisfy some numeric property, is represented in terms of S(C,P,u,s), the set of ground instances of C that have u literals unvalued by P and s literals satisfied by the assignments in P. This representation allows an intelligent search to be performed to answer subsearch problems posed in terms of S(C,P,u,s). Intelligent Subsearch uses truth value assignments to atoms to eliminate sets of bindings to universally quantified variables within a quantified clausal constraint; the bindings being eliminated because the bindings cannot satisfy a specific statement. Intelligent subsearch backtracks away from poor choices in the search for bindings to variables within the quantified clauses. In typical uses, intelligent subsearch can reduce the time of the checking problem from O(D ) to O(D ) for some &agr;<1.