@mastersthesis{Kuehner2021, author = {Arno K{\"u}hner}, title = {Shortest Paths with Boolean Constraints}, year = {2021}, }