@article{GleixnerMaherMuelleretal.2020, author = {Ambros Gleixner and Stephen Maher and Benjamin M{\"u}ller and Jo{\~a}o Pedro Pedroso}, title = {Price-and-verify: a new algorithm for recursive circle packing using Dantzig-Wolfe decomposition}, journal = {Annals of Operations Research}, volume = {284}, number = {2}, pages = {527 -- 555}, doi = {10.1007/s10479-018-3115-5}, year = {2020}, }