https://123dok.org/document/q2n6rwwp-reduction-from-sat-to-max-cut.html