https://123dok.net/document/y8g7ogd4-non-monotone-dualization-via-monotone-dualization.html