1.0957-Approximation Algorithm for Random MAX-3SAT

DOI10.1051/RO:2007008MaRDI QIDQ4600615zbMATH OpenOpenAlexFDO

Authors W. Fernandez de la Vega, Marek Karpinski

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)

Cited in

(2)

• On the Lower Bounds of Random Max 3 and 4-SAT
• Theory and Applications of Satisfiability Testing

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4600615)