Trace-based methods for solving nonlinear global optimization and satisfiability problems (Q1359099)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Trace-based methods for solving nonlinear global optimization and satisfiability problems |
scientific article; zbMATH DE number 1026354
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Trace-based methods for solving nonlinear global optimization and satisfiability problems |
scientific article; zbMATH DE number 1026354 |
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
