EFSMT

MaRDI QIDQ31314swMATHFDO

Official website https://arxiv.org/abs/1306.3456

Cited in

(3)

• Incomplete SMT techniques for solving non-linear formulas over the integers
• JBernstein
• A search-based procedure for nonlinear real arithmetic

This page was built for software: EFSMT