@inproceedings{horn-19b,
 author = {Matthias Horn and G{ü}nther R. Raidl},
 booktitle = {Computer Aided Systems Theory -- EUROCAST 2019},
 editor = {Roberto Moreno-D\'{i}az and Franz Pichler and Alexis Quesada-Arencibia},
 pages = {344--351},
 publisher = {Springer},
 series = {LNCS},
 title = {Decision Diagram Based Limited Discrepancy Search for a Job Sequencing Problem},
 url = {https://www.ac.tuwien.ac.at/files/pub/horn-19b.pdf},
 volume = {12013},
 year = {2020}
}