Improved Exact Algorithms for Mildly Sparse Instances of Max SAT

Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki, Junichi Teruyama. Improved Exact Algorithms for Mildly Sparse Instances of Max SAT. In Thore Husfeldt, Iyad A. Kanj, editors, 10th International Symposium on Parameterized and Exact Computation, IPEC 2015, September 16-18, 2015, Patras, Greece. Volume 43 of LIPIcs, pages 90-101, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

Abstract

Abstract is missing.