Search Results - subject:"SAT solving"

On the generalization of constraint programming and boolean satisfiability solving techniques to schedule a resource-constrained project consisting of multi-mode jobs

Schnell, Alexander; Hartl, Richard F. - In: Operations Research Perspectives 4 (2017), pp. 1-11

In our paper, we analyze new exact approaches for the multi-mode resource-constrained project scheduling (MRCPSP) problem with the aim of makespan minimization. For the single-mode RCPSP (SRCPSP) recent exact algorithms combine a Branch and Bound algorithm with principles from Constraint...

Persistent link: https://www.econbiz.de/10011825933

On the generalization of constraint programming and boolean satisfiability solving techniques to schedule a resource-constrained project consisting of multi-mode jobs

Schnell, Alexander; Hartl, Richard F. - In: Operations research perspectives 4 (2017), pp. 1-11

Persistent link: https://www.econbiz.de/10011822834

On the efficient modeling and solution of the multi-mode resource-constrained project scheduling problem with the generalized precedence relations

Schnell, Alexander; Hartl, Richard F. - In: OR spectrum : quantitative approaches in management 38 (2016) 2, pp. 283-303

Persistent link: https://www.econbiz.de/10011701322