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