Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and system for translating logical constraints to linear constraints

Method and system for translating logical constraints to linear constraints

US Patent 8321370 · Granted Nov 27, 2012

Assignee

No assignee recorded.

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Scalable code testing and benchmarking2025
Vulnerability tracking using smatch values of scopes2024
Adaptively generated program model2024
Vulnerability tracing using scope and offset2024