×

zbMATH — the first resource for mathematics

New \(3\over4\)-approximation algorithms for the maximum satisfiability problem. (English) Zbl 0812.90129

MSC:
90C27 Combinatorial optimization
68Q25 Analysis of algorithms and problem complexity
90C05 Linear programming
90C60 Abstract computational complexity for mathematical programming problems
PDF BibTeX XML Cite
Full Text: DOI