• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Trace-Based Methods for Solving Nonlinear Global Optimization and Satisfiability Problems.

Benjamin W. WahYao-Jen Chang
Published in: J. Glob. Optim. (1997)
Keyphrases
  • global optimization
  • satisfiability problem
  • particle swarm optimization
  • neural network
  • search algorithm
  • optimization methods
  • image processing
  • search space
  • temporal logic
  • phase transition
  • solving nonlinear