Andrew P. Smith, César A. Muñoz, Anthony J. Narkawicz, Mantas Markevicius. A Rigorous Generic Branch and Bound Solver for Nonlinear Problems. In Laura Kovács, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015. pages 71-78, IEEE, 2015. [doi]
@inproceedings{SmithMNM15,
title = {A Rigorous Generic Branch and Bound Solver for Nonlinear Problems},
author = {Andrew P. Smith and César A. Muñoz and Anthony J. Narkawicz and Mantas Markevicius},
year = {2015},
doi = {10.1109/SYNASC.2015.20},
url = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2015.20},
researchr = {https://researchr.org/publication/SmithMNM15},
cites = {0},
citedby = {0},
pages = {71-78},
booktitle = {17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015},
editor = {Laura Kovács and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie},
publisher = {IEEE},
isbn = {978-1-5090-0461-4},
}