Searching for "Witnesses for non-satisfiability of dense random 3CNF formulas." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Witnesses for non-satisfiability of dense random 3CNF formulas
by Uriel Feige, Jeong Han, Kim Eran Ofek — 2006 — IEEE Computer Society
…Witnesses for non-satisfiability of dense random 3CNF formulas Uriel Feige ∗ Jeong Han Kim † Eran…
Cited by 5 (1 self) – Add To MetaCart

Witnesses for non-satisfiability of dense random 3CNF
by Uriel Feige, Jeong Han, Kim Eran Ofek — 2006
… Witnesses for non-satisfiability of dense random 3CNF formulas Uriel Feige * Jeong Han Kim…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB