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]

Authors

Takayuki Sakai

This author has not been identified. Look up 'Takayuki Sakai' in Google

Kazuhisa Seto

This author has not been identified. Look up 'Kazuhisa Seto' in Google

Suguru Tamaki

This author has not been identified. Look up 'Suguru Tamaki' in Google

Junichi Teruyama

This author has not been identified. Look up 'Junichi Teruyama' in Google