Dynamic constraint solver with cross problem constraints
US8165980B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Jan 23, 2009 |
| Grant date | Apr 24, 2012 |
| Priority date | — |
| Expiry date | Nov 16, 2030 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F2111/06
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A dynamic constraint solver solves a constraint satisfaction problem that includes a problem having zero or more ports, and zero or more sub-problems coupled to the zero or more ports. The solver stores a cross problem constraint template for cross problem constraints. The solver receives a request to connect a first sub-problem to a first port of a first problem. The solver then determines if the first sub-problem forms a participating problem combination for the cross problem constraint template. The participating problem combination includes all participating problems of the cross problem constraint. The solver then generates the cross problem constraint for the participating problem combination if the first sub-problem forms the participating problem combination.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.