Patents
US 12711295 B2: Using machine vision to solve industrial Boolean satisfiability (SAT) problems
- Granted
- 2026-08-18
- Filed
- 2023-03-09 application 18181200
- Type
- Utility · 19 claims
- Elsewhere
- Google Patents ↗ · USPTO patent document ↗ · USPTO Patent Center record ↗
Abstract
A computer system is disclosed for processing industrial Boolean satisfiability (SAT) problems. A computer implemented SAT image encoder is configured to encode a runtime industrial SAT problem into a pixelated problem image comprising a plurality of rows, wherein the runtime industrial SAT problem comprises a plurality of clauses and each row of the pixelated problem image represents a corresponding one of the clauses. A computer implemented clause embedding module is configured to encode each row of the pixelated problem image into a corresponding vector, and a computer implemented vector encoder is configured to encode the vectors into an output indicating whether the runtime industrial SAT problem is satisfiable or unsatisfiable.
Source: PTBLXML, file of 2026-08-18 (ipgb20260818.xml).
Assignees
| Assignee | Type | Place | Also on furp.org | Source |
|---|---|---|---|---|
| HRL Laboratories, LLC 1,601 patents | US company or organization | Malibu, CA | PTBLXML, file of 2026-08-18 |
Inventors
| Inventor | Place | Patents | Person page | Source |
|---|---|---|---|---|
| Christopher R. Serrano | Whittier, CA | PTBLXML, file of 2026-08-18 | ||
| Michael A. Warren | Northridge, CA | 10 | PTBLXML, file of 2026-08-18 | |
| Aleksey Nogin | Fresno, CA | 25 | PTBLXML, file of 2026-08-18 | |
| Alexei Kopylov | Burbank, CA | 10 | PTBLXML, file of 2026-08-18 |
CPC categories
| Subclass | Category | First group | Source |
|---|---|---|---|
| G06F | Electric digital data processing | G06F30/3323 | PTBLXML, file of 2026-08-18 |
Cooperative Patent Classification, as currently assigned (one row per subclass).
Assignments and security interests
| Recorded | What | From | To | Reel/frame | Source |
|---|---|---|---|---|---|
| 2023-07-14 | Assignment Assignment of assignor's interest | SERRANO, CHRISTOPHER R. signed 2023-04-28 WARREN, MICHAEL A. signed 2023-04-18 NOGIN, ALEKSEY signed 2023-04-26 KOPYLOV, ALEXEI signed 2023-04-13 | HRL LABORATORIES, LLC MALIBU, CA | 64256/639 | PASDL, file of 2026-08-13 |
Documents recorded with the USPTO Assignment Recordation Branch that list this patent. A security interest is a lender’s claim on the patent as collateral; a release ends it.
USPTO bulk data: PatentsView granted patents, disambiguated (PVGPATDIS) for patents, assignees, inventors, places and CPC categories; the USPTO Patent Assignment Dataset (ECORSEXC) for assignments and security interests. Patents filed in the last 20 years. No claims or full text. Links to other records are by name (and state): EXACT means the identical full name and state; FUZZY means a looser name match, with the confidence shown.