Login / Signup

Wasp Swarm Algorithm for Dynamic MAX-SAT Problems.

Pedro C. PintoThomas A. RunklerJoão Miguel da Costa Sousa
Published in: ICANNGA (1) (2007)
Keyphrases
  • max sat
  • weighted max sat
  • optimization problems
  • graph coloring
  • search algorithm
  • branch and bound
  • sat solvers
  • exact algorithms
  • np complete