TY - GEN
AU - Schnell, Alexander
AU - Hartl, Richard F.
TI - On the generalization of constraint programming and boolean satisfiability solving techniques to schedule a resource-constrained project consisting of multi-mode jobs
PB - Elsevier
SN - 2214-7160
KW - SAT solving
KW - Lazy clause generation
KW - Exact algorithm
KW - SCIP
KW - Constraint programming
KW - Multi-mode resource-constrained project scheduling
PY - 2017
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation