@inproceedings{klocker-19a,
 author = {Benedikt Klocker and Herbert Fleischner and G{ü}nther R. Raidl},
 booktitle = {Learning and Intelligent Optimization. LION~2019},
 pages = {325--341},
 publisher = {Springer},
 series = {LNCS},
 title = {A {SAT} Approach for Finding Sup-Transition-Minors},
 url = {https://www.ac.tuwien.ac.at/files/pub/klocker-19a.pdf},
 volume = {11968},
 year = {2019}
}