Log in
Enquire now
‌

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.

OverviewStructured DataIssuesContributors
Is a
Patent
Patent
Current Assignee
Synopsys
Synopsys
Date Filed
April 4, 2007
Date of Patent
March 8, 2011
Patent Application Number
11732848
Patent Citations Received
‌
US Patent 12136030 System and method for adapting a neural network model on a hardware platform
0
‌
US Patent 11893774 Systems and methods for training machine models with augmented data
0
‌
US Patent 11983630 Neural networks for embedded devices
0
‌
US Patent 12020476 Data synthesis for autonomous control systems
0
‌
US Patent 11748620 Generating ground truth for machine learning from time series elements
‌
US Patent 11841434 Annotation cross-labeling for autonomous control systems
0
‌
US Patent 11893393 Computational array microprocessor system with hardware arbiter managing memory requests
0
Patent Jurisdiction
United States Patent and Trademark Office
United States Patent and Trademark Office
Patent Number
7904867
Patent Primary Examiner
‌
Vuthe Siek

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.
Open Query Tool
Access by API
Golden Query Tool
Golden logo
By using this site, you agree to our Terms of Service.