Improved Algorithms for Maximum Satisfiability and Its Special Cases.

Kirill Brilliantov, Vasily Alferov, Ivan Bliznets

Browse the full AAAI paper archive.