{"@context": "https://schema.org", "@type": "BreadcrumbList", "itemListElement": [{"@type": "ListItem", "position": 1, "name": "Home", "item": "https://www.patentleaderboard.com/"}, {"@type": "ListItem", "position": 2, "name": "Method for generating an explanation of a CSP solution", "item": "https://www.patentleaderboard.com/patent/7523445"}]}
Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method for generating an explanation of a CSP solution

Method for generating an explanation of a CSP solution

US Patent 7523445 · Granted Apr 21, 2009

Estimated economic value: $5,028,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Verification of distributed symmetric multi-processing systems2017
Circuit modification2017
Verification of distributed symmetric multi-processing systems2016
Automatic generation of a resource reconfiguring test2015
System-level testcase generation2014
System and method of using automatically-identified prominent establishments in 2014
Instruction-by-instruction checking on acceleration platforms2013
Integrating templates into tests2013
Automatic copying by ancestor in object-oriented languages2012
Memory model for functional verification of multi-processor systems2011
Conditional CSP solving using constraint propagation2008