Improved Exact Algorithms for Mildly Sparse Instances of Max SAT

DOI10.4230/LIPIcs.IPEC.2015.90zbMath1378.68091OpenAlexW2242797317MaRDI QIDQ5363763

Takayuki Sakai, Junichi Teruyama, Suguru Tamaki, Kazuhisa Seto

Publication date: 29 September 2017

Full work available at URL: https://doi.org/10.4230/LIPIcs.IPEC.2015.90

zbMATH Keywords

maximum satisfiabilitypolynomial spaceexponential spaceweighted

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Analysis of algorithms (68W40)

Related Items

Improved exact algorithms for mildly sparse instances of MAX SAT