Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Performing implication and decision making using multiple value systems during constraint solving

Performing implication and decision making using multiple value systems during constraint solving

US Patent 8413089 · Granted Apr 2, 2013

Estimated economic value: $3,405,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Solving multiple array problems interacting with each other in constraint solvin2025
FPGA implementation interleaved with FPGA overlay architectures for emulation2023
Method, product, and apparatus for a multidimensional processing array for hardw2023
Method, product, and apparatus for a machine learning process leveraging input s2023
Method, product, and apparatus for variable precision weight management for neur2023
Information theoretic subgraph caching2022
Bit-level learning for word-level constraint solving2022
Multi-dimensional constraint solver using modified relaxation process2020
Multi-dimensional constraint solver using modified relaxation process2020
Optimizing constraint solving by rewriting at least one bit-slice constraint2019
Optimizing constraint solving by rewriting at least one bit-slice constraint2019
Formal method for clock tree analysis and optimization2019