HomeReferencesFeigeOfek2007Refutation

FeigeOfek2007Refutation

Easily refutable subformulas of large random 3CNF formulas

Uriel Feige and Eran Ofek

misc2007

Citation key: FeigeOfek2007Refutation
Year: 2007
Cited by: 1 catalog records
Direct source: Available

Reference note

Why this source is in the ledger

Theory of Computing 3 (2007), 25–43.

Catalog connections

Conjectures citing this source

TCS-027Feige's Random $3$ -SAT Refutation HypothesisTheoretical computer science

Source record

Bibliographic fields

Inspect the parsed BibTeX fields

author: Uriel Feige and Eran Ofek
doi: 10.4086/toc.2007.v003a002
note: Theory of Computing 3 (2007), 25--43.
title: Easily refutable subformulas of large random {3CNF} formulas
year: 2007