Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and mechanism for using systematic local search for SAT solving

Method and mechanism for using systematic local search for SAT solving

US Patent 7610570 · Granted Oct 27, 2009

Estimated economic value: $13,207,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
Toggle equivalence preserving logic synthesis2009
Systems, methods, and apparatus to perform logic synthesis preserving high-level2008
Method and system for solving satisfiability problems2008