Sakai, Takayuki; Seto, Kazuhisa; Tamaki, Suguru Solving sparse instances of Max SAT via width reduction and greedy restriction. (English) Zbl 1347.68312 Theory Comput. Syst. 57, No. 2, 426-443 (2015). MSC: 68T20 68Q25 PDF BibTeX XML Cite \textit{T. Sakai} et al., Theory Comput. Syst. 57, No. 2, 426--443 (2015; Zbl 1347.68312) Full Text: DOI
Sakai, Takayuki; Seto, Kazuhisa; Tamaki, Suguru Solving sparse instances of Max SAT via width reduction and greedy restriction. (English) Zbl 1423.68471 Sinz, Carsten (ed.) et al., Theory and applications of satisfiability testing – SAT 2014. 17th international conference, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8561, 32-47 (2014). MSC: 68T20 68Q25 68W20 PDF BibTeX XML Cite \textit{T. Sakai} et al., Lect. Notes Comput. Sci. 8561, 32--47 (2014; Zbl 1423.68471) Full Text: DOI