New Length Dependent Algorithm for Maximum Satisfiability Problem.

Vasily Alferov, Ivan Bliznets

Browse the full AAAI paper archive.