Moved Permanently. Redirecting to https://satcompetition.github.io/2022/downloads/sc2022-proceedings-DRAFT.pdf#page=35