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},

Sections de Publications

Contact | Plan du site | Site réalisé avec SPIP 3.1.12 + AHUNTSIC [CC License]

info visites 1629537