Bit-level learning for word-level constraint solving
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
May 24, 2022
Grant Date -
N/A
app pub date -
Dec 13, 2018
filing date -
Dec 13, 2018
priority date (Note) -
In Force
status (Latency Note)
Importance
Abstract
Techniques and systems for solving a set of constraints are described. Binary decision diagram (BDD) learning can be applied to a proper subset of the first set of constraints to obtain a set of bit-level invariants. The set of bit-level invariants can then be used for solving the set of constraints. The set of bit-level invariants can include (1) forbidden invariants, (2) conditional invariants, and/or (3) bit-level invariants that are determined by applying BDD learning to a conjunction of constraints and range expressions. If multiple implied constraints have a common right-hand-side (RHS) expression, then BDD learning can be applied to the common RHS expression only once.
First Claim
Family
International Classification(s)
- [Classification Symbol]
- [Patents Count]
Cited Art Landscape
Patent Citation Ranking
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully