Patent №
US 8,539,013
Granted
2013-09-17
Filed 2010
Owner
NEC LABORATORIES AMERICA, INC.
Lab
—
AI components
3
ml · planning · hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
12709947
A system and method for solving a decision problem having Boolean combinations of linear and non-linear operations includes translating the non-linear real operations using a COordinate Rotation DIgital Computer (CORDIC) method programmed on a computer device into linear operations maintaining a given accuracy. Linear and translated linear operations are combined into a formula. Satisfiability of the formula is solved using a decision procedure for Boolean combinations of linear operations over integers and reals.
AI classification
Ownership
NEC LABORATORIES AMERICA, INC.
assignment · 239700705
Assignors
GANAI, MALAY K., IVANCIC, FRANJO
On an employer assignment, the assignors are typically the inventors.