Trace-based methods for solving nonlinear global optimization and satisfiability problems

DOI10.1023/A:1008294209959zbMath0880.90125MaRDI QIDQ1359099

Yao-Jen Chang, Benjamin W.-S. Wah

Publication date: 5 February 1998

Published in: Journal of Global Optimization (Search for Journal in Brave)

zbMATH Keywords

global optimizationLagrange multiplierslocal searchesbenchmark problemsBoolean satisfiabilityconstraint satisfactiontrace functionglobal searchtrajectory-based methodcontinuous constrained optimizationnonlinear optimization via external lead

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Nonlinear programming (90C30)

Related Items (4)

Parallelizing simulated annealing algorithms based on high-performance computer ⋮ Improving the performance of weighted Lagrange-multiplier methods for nonlinear constrained optimization ⋮ A Lagrangian reconstruction of GENET ⋮ A Survey on Analog Models of Computation

Uses Software

• Walksat
• ASA
• simannf90

This page was built for publication: Trace-based methods for solving nonlinear global optimization and satisfiability problems