%0 Conference Paper %1 conf/focs/FeigeKO06 %A Feige, Uriel %A Kim, Jeong Han %A Ofek, Eran %B FOCS %D 2006 %I IEEE Computer Society %K dblp %P 497-508 %T Witnesses for non-satisfiability of dense random 3CNF formulas. %U http://dblp.uni-trier.de/db/conf/focs/focs2006.html#FeigeKO06 %@ 0-7695-2720-5

@inproceedings{conf/focs/FeigeKO06, added-at = {2023-03-23T00:00:00.000+0100}, author = {Feige, Uriel and Kim, Jeong Han and Ofek, Eran}, biburl = {https://www.bibsonomy.org/bibtex/2ae4dac7a361bdd59262cc83777a7b8ea/dblp}, booktitle = {FOCS}, crossref = {conf/focs/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/FOCS.2006.78}, interhash = {4cfe6729d4a02b87261010fba93baadd}, intrahash = {ae4dac7a361bdd59262cc83777a7b8ea}, isbn = {0-7695-2720-5}, keywords = {dblp}, pages = {497-508}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:07:29.000+0200}, title = {Witnesses for non-satisfiability of dense random 3CNF formulas.}, url = {http://dblp.uni-trier.de/db/conf/focs/focs2006.html#FeigeKO06}, year = 2006 }