Bounds for approximating MaxLinEq3-2 and MaxEkSat

DOI10.1007/BFb0053017zbMath1401.68102MaRDI QIDQ4571892

Sebastian Seibert, Thomas Wilke

Publication date: 3 July 2018

Published in: Lectures on Proof Verification and Approximation Algorithms (Search for Journal in Brave)

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)