Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace. Solving RCPSP/max by lazy clause generation. J. Scheduling, 16(3):273-289, 2013. [doi]
@article{SchuttFSW13,
title = {Solving RCPSP/max by lazy clause generation},
author = {Andreas Schutt and Thibaut Feydy and Peter J. Stuckey and Mark G. Wallace},
year = {2013},
doi = {10.1007/s10951-012-0285-x},
url = {http://dx.doi.org/10.1007/s10951-012-0285-x},
researchr = {https://researchr.org/publication/SchuttFSW13},
cites = {0},
citedby = {0},
journal = {J. Scheduling},
volume = {16},
number = {3},
pages = {273-289},
}