Crossmark

An Approximation Framework for Solvers and Decision Procedures

Crossref DOI link: https://doi.org/10.1007/s10817-016-9393-1

Published Online: 2016-11-10

Published Print: 2017-01

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Zeljić, Aleksandar https://orcid.org/0000-0003-0673-9327
Wintersteiger, Christoph M.

Rümmer, Philipp
Funding

Funding for this research was provided by:

Uppsala University
License Information

License valid from 2016-11-10