The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Aug. 03, 2021
Filed:
May. 13, 2019
Sap SE, Walldorf, DE;
Conrad Drescher, Mannheim, DE;
Claudia Moeller, Ubstadt-Weiher, DE;
SAP SE, Walldorf, DE;
Abstract
The disclosure generally describes methods, software, and systems for defining a constraint satisfaction problem including floating point variables. Floating-point domains are described using a notation that allows arbitrarily many ranges denoted by at least one of intervals with boundary information or singleton values comprising fully discrete domains. Mathematically correct results are computed using closures combined with interval arithmetic. A new consistency level for constraint propagation is provided, including multi-bounds consistency, over floating point variables, where the multi-bounds consistency achieves domain consistency over monotonic functions.