BibTeX
@ARTICLE{
         Kearfott2005VLR,
       author = "R. Baker Kearfott and Siriporn Hongthong",
       title = "Validated Linear Relaxations and Preprocessing: Some Experiments",
       publisher = "SIAM",
       year = "2005",
       journal = "SIAM Journal on Optimization",
       volume = "16",
       number = "2",
       pages = "418-433",
       keywords = "nonconvex optimization; global optimization; computational complexity; automatic
         differentiation; GlobSol; symbolic computation; linear relaxation",
       url = "http://link.aip.org/link/?SJE/16/418/1",
       doi = "10.1137/030602186",
       ad_theotech = "Interval Arithmetic"
}