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]
No references recorded for this publication.
No citations of this publication recorded.