%0 Journal Article %1 journals/toms/GranvilliersB06 %A Granvilliers, Laurent %A Benhamou, Frédéric %D 2006 %J ACM Trans. Math. Softw. %K dblp %N 1 %P 138-156 %T Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques. %U http://dblp.uni-trier.de/db/journals/toms/toms32.html#GranvilliersB06 %V 32

@article{journals/toms/GranvilliersB06, added-at = {2022-08-16T00:00:00.000+0200}, author = {Granvilliers, Laurent and Benhamou, Frédéric}, biburl = {https://www.bibsonomy.org/bibtex/26d535f1d177b18d1175a4a5014703f03/dblp}, ee = {https://www.wikidata.org/entity/Q113310695}, interhash = {926c2aaf5119281257f3a2972e56e550}, intrahash = {6d535f1d177b18d1175a4a5014703f03}, journal = {ACM Trans. Math. Softw.}, keywords = {dblp}, number = 1, pages = {138-156}, timestamp = {2024-04-08T11:33:08.000+0200}, title = {Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques.}, url = {http://dblp.uni-trier.de/db/journals/toms/toms32.html#GranvilliersB06}, volume = 32, year = 2006 }