Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem.
Carlos AnsóteguiMiquel BofillMiquel PalahíJosep SuyMateu VillaretPublished in: SARA (2011)
Keyphrases
- resource constrained project scheduling problem
- satisfiability modulo theories
- modulo theories
- project scheduling
- resource constraints
- answer set programming
- precedence relations
- sat solvers
- ant colony algorithm
- artificial intelligence
- lower bound
- linear programming
- qualitative and quantitative
- artificial bee colony