Login / Signup

Combining linear programming and satisfiability solving for resource planning.

Steven A. WolfmanDaniel S. Weld
Published in: Knowl. Eng. Rev. (2001)
Keyphrases
  • resource planning
  • linear programming
  • dynamic programming
  • tabu search
  • computational complexity
  • sat encodings
  • database
  • data model
  • particle swarm optimization
  • combinatorial optimization