Variable element assignment sequence, assignment optimization algorithm and Boolean satisfiability verification algorithm
A technology of Boolean satisfiability and sequential optimization, applied in design optimization/simulation, calculation, special data processing applications, etc., can solve problems such as low calculation efficiency
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0048] In order to make the technical problems, technical solutions and beneficial effects to be solved by the present invention clearer, the present invention will be further described in detail below in conjunction with the accompanying drawings and embodiments. It should be understood that the specific embodiments described here are only used to explain the present invention, not to limit the present invention.
[0049] Thus, a feature indicated in this specification will be used to describe one of the features of an embodiment of the present invention, rather than implying that every embodiment of the present invention must have the described feature. Furthermore, it should be noted that this specification describes a number of features. Although certain features may be combined to illustrate possible system designs, these features may also be used in other combinations not explicitly described. Thus, the illustrated combinations are not intended to be limiting unless other...
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