Witnesses for non-satisfiability of dense random 3CNF formulas

DOI10.1109/FOCS.2006.78MaRDI QIDQ7255382zbMATH OpenFDO

Authors Uriel Feige, Jeong Han Kim, Eran Ofek

Publication date 29 May 2026

Full work available at URL https://doi.org/10.1109/FOCS.2006.78

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Witnesses for non-satisfiability of dense random 3CNF formulas

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