Interesting article on research progress on the Unique Games Conjecture and its ramifications for solving programs with constraints: https://www.quantamagazine.org/computer-scientists-close-in-on-unique-games-conjecture-proof-20180424/