The IJCAR 2014 best paper award will be given to
Approximations for Model Construction
Aleksandar Zeljic, Christoph M. Wintersteiger, and Philipp Rummer
The paper presents a new way to integrate approximation techniques into automated reasoning procedures and proves its usefulness for the important case of floating-point arithmetic.
This paper was selected by the IJCAR 2014 Program Committee.
International Joint Conference on Automated Reasoning (IJCAR)