The IJCAR 2014 best paper award will be given to

Approximations for Model Construction

by
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)