Method for solving Boolean satisfiability problem based on extension rule
A satisfiability and problem-solving technology, applied in the field of Boolean satisfiability problem solving, can solve problems that affect the efficiency of ERACC algorithm solution
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Examples
Embodiment Construction
[0042] In order to make the object, technical solution and advantages of the present invention clearer, the present invention will be further described in detail below in conjunction with specific examples.
[0043] For ease of understanding, before introducing the method of the present invention, the relevant technical names are defined:
[0044] CNF formula set: a series of conjunctions of clauses whose symbolic form is C 1 ∧C 2 ∧C 3 ∧...∧C m ; where C j for the clause.
[0045] variable: the symbolic form x of the variable, its negation
[0046] Neighbor variables: Two variables appear in at least one clause at the same time, then the two variables are said to be neighbor variables.
[0047] Literal: Expressed as a variable or the negation of a variable.
[0048] Flip text: negate the text, the negation of x is and negation of x.
[0049] Clause: a disjunctive expression composed of a series of words (ie variable or negation of variable), its symbolic form l ...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com