Employee Scheduling With SAT-Based Pseudo-Boolean Constraint Solving.
Robert NieuwenhuisAlbert OliverasEnric Rodríguez-CarbonellEmma RollonPublished in: IEEE Access (2021)
Keyphrases
- constraint solving
- constraint solver
- pseudo boolean
- constraint logic programming
- combinatorial problems
- constraint satisfaction problems
- constraint programming
- constraint satisfaction
- pseudo boolean constraints
- propositional satisfiability
- sat solvers
- constraint propagation
- symmetry breaking
- sat encodings
- integer linear programming
- boolean satisfiability
- scheduling problem
- exact solution
- answer set programming
- graph coloring
- job shop scheduling
- temporal constraints
- industrial applications
- integer programming
- search strategies
- metaheuristic
- linear programming
- search space