EFSMT

swMATH19487MaRDI QIDQ31314FDOQ31314

Author name not available (Why is that?)

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