Markót Mihály Csaba; Hernandez José Fernández; Casado Leocadio Gonzalez: New interval methods for constrained global optimization : solving 'circle packing' problems in a reliable way : [abstract].