US Patent 7904867 Integrating a boolean SAT solver into a router
Patent 7904867 was granted and assigned to Synopsys on March, 2011 by the United States Patent and Trademark Office.
Is a
Current Assignee
Date Filed
April 4, 2007
Date of Patent
March 8, 2011
Patent Application Number
11732848
Patent Citations Received
Patent Jurisdiction
Patent Number
Patent Primary Examiner
Find more entities like US Patent 7904867 Integrating a boolean SAT solver into a router
Use the Golden Query Tool to find similar entities by any field in the Knowledge Graph, including industry, location, and more.
