Login / Signup

A New Verified Optimization Technique for the "Packing Circles in a Unit Square" Problems.

Mihály Csaba MarkótTibor Csendes
Published in: SIAM J. Optim. (2005)
Keyphrases