%0 Journal Article %1 journals/corr/abs-2002-12441 %A Zitoun, Heytem %A Michel, Claude %A Michel, Laurent %A Rueher, Michel %D 2020 %J CoRR %K dblp %T An efficient constraint based framework forhandling floating point SMT problems. %U http://dblp.uni-trier.de/db/journals/corr/corr2002.html#abs-2002-12441 %V abs/2002.12441

@article{journals/corr/abs-2002-12441, added-at = {2020-05-05T00:00:00.000+0200}, author = {Zitoun, Heytem and Michel, Claude and Michel, Laurent and Rueher, Michel}, biburl = {https://www.bibsonomy.org/bibtex/2c56e69604ac86212f62b4dd5c0267942/dblp}, ee = {https://arxiv.org/abs/2002.12441}, interhash = {d9fafc99e278bcb0c303da5579332ad9}, intrahash = {c56e69604ac86212f62b4dd5c0267942}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-05-06T11:40:09.000+0200}, title = {An efficient constraint based framework forhandling floating point SMT problems.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2002.html#abs-2002-12441}, volume = {abs/2002.12441}, year = 2020 }