iSAT has been developed to facilitate automated reasoning about Boolean combinations of non-linear arithmetic constraints and is based on a tight integration of SAT solving techniques with interval-based arithmetic constraint solving.

• DFG TransRegio/SFB AVACS: H1/2