A fast exponential time algorithm for Max hamming distance X3SAT - Hoi, G (2023)
10.4230/LIPIcs.FSTTCS.2019.17