A new bound for 3-satisfiable MaxSat and its algorithmic application
From MaRDI portal
Publication:393085
DOI10.1016/j.ic.2013.08.008zbMath1358.68134MaRDI QIDQ393085
Publication date: 16 January 2014
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2013.08.008
68Q25: Analysis of algorithms and problem complexity