The BKR Decision Procedure for Univariate Real Arithmetic.

Katherine Cordwell Yong Kiam Tan André Platzer

Published in: Arch. Formal Proofs (2021)

Keyphrases

decision making
decision makers
decision rules
decision problems
database
real life
floating point
multivariate time series
social networks
website
image segmentation
iterative procedure
arithmetic operations