Managing floating point variables in constraint satisfaction problems
US8386544B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Feb 5, 2009 |
| Grant date | Feb 26, 2013 |
| Priority date | — |
| Expiry date | Dec 30, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06N5/00
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Systems and methods for managing floating point variables are described in the present disclosure. According to one example, an embodiment of a method includes analyzing a constraint on a floating point variable in a system that supports both floating point variables and integer variables. The constraint is designed to have the ability to numerically limit the domain of the floating point variable. The method also includes determining whether or not the floating point variable can be handled as an integer variable and converting the floating point variable to a pseudo integer variable when it is determined that the floating point variable can be handled as an integer variable. This conversion of the floating point variable to a pseudo integer variable allows the domain of the floating point variable to be processed as an integer domain.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.