Login / Signup

An ant algorithm for static and dynamic MAX-SAT problems.

Pedro C. PintoThomas A. RunklerJoão M. C. Sousa
Published in: BIONETICS (2006)
Keyphrases
  • ant algorithm
  • max sat
  • weighted max sat
  • neural network
  • lower bound
  • optimal solution
  • cost function
  • scheduling problem
  • service providers
  • decision problems
  • global optimization
  • search methods
  • hybrid algorithm