Key points are not available for this paper at this time.
In order to facilitate automated reasoning about large Boolean combinations of non-linear arithmetic constraints involving transcendental functions, we provide a tight integration of recent SAT solving techniques with interval-based arithmetic constr
Fränzle et al. (Tue,) studied this question.