%0 Conference Paper %1 conf/cp/ZitounMRM17 %A Zitoun, Heytem %A Michel, Claude %A Rueher, Michel %A Michel, Laurent %B CP %D 2017 %E Beck, J. Christopher %I Springer %K dblp %P 707-722 %T Search Strategies for Floating Point Constraint Systems. %U http://dblp.uni-trier.de/db/conf/cp/cp2017.html#ZitounMRM17 %V 10416 %@ 978-3-319-66158-2

@inproceedings{conf/cp/ZitounMRM17, added-at = {2022-04-09T00:00:00.000+0200}, author = {Zitoun, Heytem and Michel, Claude and Rueher, Michel and Michel, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/2ef5865ef5b18bda7501b946e98022410/dblp}, booktitle = {CP}, crossref = {conf/cp/2017}, editor = {Beck, J. Christopher}, ee = {https://doi.org/10.1007/978-3-319-66158-2_45}, interhash = {1ca15398b48be85c4a78ecf4dfcdafac}, intrahash = {ef5865ef5b18bda7501b946e98022410}, isbn = {978-3-319-66158-2}, keywords = {dblp}, pages = {707-722}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:20:47.000+0200}, title = {Search Strategies for Floating Point Constraint Systems.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2017.html#ZitounMRM17}, volume = 10416, year = 2017 }