Parameterization of (Partial) Maximum Satisfiability above Matching in a Variable-Clause Graph.

Vasily Alferov, Ivan Bliznets, Kirill Brilliantov

Browse the full AAAI paper archive.