Model-based theory combination
US7925476B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Jan 24, 2008 |
| Grant date | Apr 12, 2011 |
| Priority date | — |
| Expiry date | Oct 23, 2029 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06N3/126
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method is described for combining models of a plurality of theory solvers in order to produce a model which may be satisfiable by each of the plurality of theory solvers. A model is accessed for a first theory solver which is satisfiable in the first theory solver. It is determined that one or more equalities are implied by the model and it is determined if the equalities are compatible with a second solver. The model is updated in accordance any equalities determined not to be compatible with the second solver. A method is also described for mutation of models using freedom intervals. A freedom interval is determined for a variable within a model and the model is updates by choosing a value for the variable which lies within the freedom interval.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.