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]
@inproceedings{SakaiSTT15-0,
title = {Improved Exact Algorithms for Mildly Sparse Instances of Max SAT},
author = {Takayuki Sakai and Kazuhisa Seto and Suguru Tamaki and Junichi Teruyama},
year = {2015},
doi = {10.4230/LIPIcs.IPEC.2015.90},
url = {http://dx.doi.org/10.4230/LIPIcs.IPEC.2015.90},
researchr = {https://researchr.org/publication/SakaiSTT15-0},
cites = {0},
citedby = {0},
pages = {90-101},
booktitle = {10th International Symposium on Parameterized and Exact Computation, IPEC 2015, September 16-18, 2015, Patras, Greece},
editor = {Thore Husfeldt and Iyad A. Kanj},
volume = {43},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-92-7},
}