- Combinatorial optimization for job sequencing with one common and multiple secondary resources by using a SAT solver augmented with a domain-specific heuristic
- Integration of variable selection heuristics into a MaxSAT solver for solving the multi-mode resource-constrained project scheduling problem
- An efficient metaheuristic to solve the project portfolio selection and scheduling problem for industrial projects