A Survey of Satisfiability Modulo Theory

From MaRDI portal
Publication:2830018

DOI10.1007/978-3-319-45641-6_26zbMath1453.68116arXiv1606.04786OpenAlexW2433853642MaRDI QIDQ2830018

David Monniaux

Publication date: 9 November 2016

Published in: Computer Algebra in Scientific Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1606.04786




Related Items (4)


Uses Software


Cites Work


This page was built for publication: A Survey of Satisfiability Modulo Theory