Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Matching based pattern inference for SMT solvers

Matching based pattern inference for SMT solvers

US Patent 9489221 · Granted Nov 8, 2016

Estimated economic value: $43,120,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Decentralized wide-area network traffic engineering2025
Network verification systems and methods2025
Methods for capacity provisioning in wide area networks using optical bypassing2025
Network configuration verification in computing systems2023
Decentralized wide-area network traffic engineering2023
Network configuration verification in computing systems2022
Methods for capacity provisioning in wide area networks using optical bypassing2022
Network verification systems and methods2021
Capacity engineering in distributed computing systems2020
Apparatus, method, and manufacture for cloud network updating2019
Validating routing tables of routing devices2019
Test components factorization in a build system2019