An approach using SAT solvers for the RCPSP with logical constraints.
Mario VanhouckeJosé CoelhoPublished in: Eur. J. Oper. Res. (2016)
Keyphrases
- sat solvers
- resource constraints
- constraint satisfaction
- resource constrained project scheduling problem
- orders of magnitude
- sat encodings
- sat solving
- boolean satisfiability
- max sat
- propositional satisfiability
- search space
- search strategies
- global constraints
- symmetry breaking
- clause learning sat solvers
- constraint programming
- special case
- boolean formula
- propositional logic
- temporal constraints