@inproceedings{CM12,
title = {Experiments on the feasibility of using a floating-point simplex in an {SMT} solver },
author = {Caminha Barbosa de Oliveira, Diego and Monniaux, David},
year = {2012},
booktitle = {Workshop on Practical Aspects of Automated Reasoning (PAAR)},
publisher = {CEUR Workshop Proceedings},
team = {SYNC,PACSS},
}
