Systems and methods for Boolean-valuation-based searches
US10685048B1 · kind B1 · utility
0Cited by
4References
20Claims
0Family size
Assignee
Inventor
Key dates
| Filing date | Feb 1, 2017 |
| Grant date | Jun 16, 2020 |
| Priority date | — |
| Expiry date | Mar 23, 2038 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F16/951
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Various technologies for performing Boolean valuation of a vector of input literals over a clause set representing a search space are described herein. For each of a plurality of literals in a literal vector, state vector entries that correspond to clauses in which the literal appears are incremented. Clauses are output as results based upon determining that state vector entries corresponding to the clauses meet or exceed target vector entries corresponding to the clauses.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.