https://123dok.net/document/qvl7w6p0-auction-robustness-through-satisability-modulo-theories.html