@inproceedings{ijcai2021-189,   title     = {Reducing SAT to Max2SAT},   author    = {Ansótegui, Carlos and Levy, Jordi},   booktitle = {Proceedings of the Thirtieth International Joint Conference on                Artificial Intelligence, {IJCAI-21}},   publisher = {International Joint Conferences on Artificial Intelligence Organization},   editor    = {Zhi-Hua Zhou},   pages     = {1367--1373},   year      = {2021},   month     = {8},   note      = {Main Track},   doi       = {10.24963/ijcai.2021/189},   url       = {https://doi.org/10.24963/ijcai.2021/189}, }