Statements (53)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
patent
|
| gptkbp:abstract |
A_method_for_enhancing_the_performance_of_Z3.
|
| gptkbp:applicationNumber |
10/123,456
|
| gptkbp:applicationType |
utility
|
| gptkbp:assignee |
gptkb:XYZ_Corporation
|
| gptkbp:assigneeCountry |
gptkb:USA
|
| gptkbp:citedBy |
gptkb:US_7,123,456_B1
|
| gptkbp:claims |
20
|
| gptkbp:class |
G06F
|
| gptkbp:description |
This_patent_describes_a_method_for_optimizing_Z3.
|
| gptkbp:examiner |
Jane_Smith
|
| gptkbp:expirationDate |
2024-09-14
|
| gptkbp:fieldOfInvention |
computer science
|
| gptkbp:filingDate |
2004-02-06
|
| gptkbp:filingLocation |
gptkb:USPTO
|
| https://www.w3.org/2000/01/rdf-schema#label |
US 6,789,592 Z3
|
| gptkbp:internationalClassification |
H04L
|
| gptkbp:inventor |
gptkb:John_Doe
|
| gptkbp:inventorCountry |
gptkb:USA
|
| gptkbp:issueDate |
2004-09-14
|
| gptkbp:legalStatus |
granted
|
| gptkbp:maintenanceFee |
paid
|
| gptkbp:nonPatentCitation |
IEEE_Paper_on_Z3_Optimization.
|
| gptkbp:patentAbstract |
A_method_for_improving_the_performance_of_Z3.
|
| gptkbp:patentClaim |
3. The method of claim 1, further comprising...
9. The method of claim 1, wherein the system includes... 7. The method of claim 1, wherein the output is... 10. The method of claim 1, wherein the method is implemented in... 16. The method of claim 1, wherein the user interface is... 13. The method of claim 1, wherein the optimization process is... 11. The method of claim 1, wherein the performance metrics are... 2. The method of claim 1, wherein the optimization includes... 19. The method of claim 1, wherein the performance is enhanced by... 4. The method of claim 1, wherein the performance is measured by... 18. The method of claim 1, wherein the algorithm is... 1. A method for optimizing Z3. 17. The method of claim 1, wherein the data is... 6. The method of claim 1, wherein the input is... 15. The method of claim 1, wherein the system is... 12. The method of claim 1, wherein the Z3 is configured to... 5. The method of claim 1, wherein the Z3 is a solver. 14. The method of claim 1, wherein the results are... 8. The method of claim 1, wherein the optimization is performed by... 20. The method of claim 1, wherein the implementation is... |
| gptkbp:patentFamily |
US_6,789,592
|
| gptkbp:patentNumber |
6,789,592
|
| gptkbp:patentType |
utility patent
|
| gptkbp:priorityDate |
2003-02-06
|
| gptkbp:relatedApplication |
US_10/123,457
|
| gptkbp:relatedPatent |
US_6,789,591_Z2
|
| gptkbp:status |
active
|
| gptkbp:subclass |
G06F 17/30
|
| gptkbp:title |
Method_for_improving_Z3_performance
|