Approximation algorithms for the maximum satisfiability problem

DOI10.1007/3-540-61422-2_124zbMath0886.03033OpenAlexW1492679536MaRDI QIDQ4375642

Takao Asano, Takao Ono, Tomio Hirata

Publication date: 2 March 1998

Published in: Algorithm Theory — SWAT'96 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61422-2_124

zbMATH Keywords

approximation algorithmsmaximum satisfiability problem

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Complexity of computation (including implicit computational complexity) (03D15)

This page was built for publication: Approximation algorithms for the maximum satisfiability problem