1.0957-Approximation Algorithm for Random MAX-3SAT

DOI10.1051/ro:2007008zbMath1377.68323OpenAlexW2059243266MaRDI QIDQ4600615

Marek Karpinski, Wenceslas Fernandez de la Vega

Publication date: 12 January 2018

Published in: RAIRO - Operations Research (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=RO_2007__41_1_95_0/

zbMATH Keywords

approximate algorithmsrandom satisfiability

Mathematics Subject Classification ID

Logic in computer science (03B70) Approximation algorithms (68W25)

Related Items (1)

On the Lower Bounds of Random Max 3 and 4-SAT

This page was built for publication: 1.0957-Approximation Algorithm for Random MAX-3SAT