Trace-based methods for solving nonlinear global optimization and satisfiability problems (Q1359099)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Trace-based methods for solving nonlinear global optimization and satisfiability problems |
scientific article |
Statements
Trace-based methods for solving nonlinear global optimization and satisfiability problems (English)
0 references
5 February 1998
0 references
trajectory-based method
0 references
nonlinear optimization via external lead
0 references
global optimization
0 references
continuous constrained optimization
0 references
Lagrange multipliers
0 references
global search
0 references
trace function
0 references
local searches
0 references
benchmark problems
0 references
constraint satisfaction
0 references
Boolean satisfiability
0 references
