An Approximation Framework for Solvers and Decision Procedures
Zeljić, Aleksandar, Wintersteiger, Christoph M., Rümmer, PhilippVolume:
58
Language:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-016-9393-1
Date:
January, 2017
File:
PDF, 669 KB
english, 2017