@inproceedings{SMNM-SYNASC15,
	Author = {Andrew Smith and C{\'{e}}sar Mu{\~{n}}oz and Anthony Narkawicz and Mantas Markevicius},
	Booktitle = {Proceedings of the 17th International Symposium on Symbolic and
  Numeric Algorithms for Scientific Computing (SYNASC 2015)},
	Month = {September},
	Title = {A Rigorous Generic Branch and Bound Solver for Nonlinear Problems},
        Address = {Timis, Romania},
        year = "2015",
        publisher = "IEEE Computer Society Conference Publishing Services",
}