Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Satisfiability (SAT) based bounded model checkers

Satisfiability (SAT) based bounded model checkers

US Patent 7835898 · Granted Nov 16, 2010

Estimated economic value: $4,384,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Query completions2025
Selective streaming of video segments based on buffer data and download rate ran2025
Query completions2024
Biasing voice correction suggestions2024
Query completions2023
Method for approximate k-nearest-neighbor search on parallel hardware accelerato2023
Selective streaming of video segments based on buffer data and download rate ran2023
Automated materialized view table generation and maintenance2022
Systems, devices, and methods for content indexing and querying in a search syst2022
Scalable conflict detection in transaction management2022
Biasing voice correction suggestions2022
Method for approximate k-nearest-neighbor search on parallel hardware accelerato2022