Optimal network configuration repair
US8725902B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Jun 25, 2012 |
| Grant date | May 13, 2014 |
| Priority date | — |
| Expiry date | Oct 9, 2032 |
Classification
- Technology area (CPC H)Electricity
- CPC primaryH04L41/145
- WIPO fieldDigital communication
- WIPO sectorElectrical engineering
Abstract
Changing a network configuration to restore compliance to one requirement may invalidate the network compliance with another requirement. A method changes a configuration to restore compliance to all requirements at minimum cost. The requirements are a hybrid of symbolic, arithmetic and bit-vector constraints, so traditional optimization techniques such as linear programming, that work only for purely arithmetic constraints, do not apply. The requirements are represented as SMT (satisfiability-modulo-theory) constraints on configuration variables, and then a weighted Max-SAT solver is used to compute the optimal configuration changes in order to minimize the cost.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.