Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and system for solving satisfiability problems

Method and system for solving satisfiability problems

US Patent 7356519 · Granted Apr 8, 2008

Estimated economic value: $7,428,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Quantifier elimination by dependency sequents2013
Method and mechanism for performing simulation off resolution proof2010
Method and mechanism for using systematic local search for SAT solving2009
Toggle equivalence preserving logic synthesis2009
Systems, methods, and apparatus to perform logic synthesis preserving high-level2008