2002/01/01 by Elizabeth D. Dolan, Jorge J. Moré, Jorge J. Morè · 133 citations
Computer Science · Mathematics · #Parallel Computing and Optimization Techniques #Advanced Optimization Algorithms Research #Formal Methods in Verification
paper · doi:10.1007/s101070100263