{"id":"https://openalex.org/W2406503277","doi":"https://doi.org/10.4086/toc.2013.v009a019","title":"","display_name":"","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2406503277","doi":"https://doi.org/10.4086/toc.2013.v009a019","mag":"2406503277"},"language":"en","primary_location":{"id":"doi:10.4086/toc.2013.v009a019","is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2013.v009a019","pdf_url":"https://theoryofcomputing.org/articles/v009a019/v009a019.pdf","source":{"id":"https://openalex.org/S142665794","display_name":"Theory of Computing","issn_l":"1557-2862","issn":["1557-2862"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315690","host_organization_name":"University of Chicago","host_organization_lineage":["https://openalex.org/P4310315690"],"host_organization_lineage_names":["University of Chicago"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://theoryofcomputing.org/articles/v009a019/v009a019.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013190102","display_name":"Uriel Feige","orcid":"https://orcid.org/0009-0006-3749-4392"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Uriel Feige","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013467728","display_name":"Elchanan Mossel","orcid":"https://orcid.org/0000-0001-7812-7886"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Elchanan Mossel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5067064621","display_name":"Dan Vilenchik","orcid":"https://orcid.org/0000-0002-3895-688X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dan Vilenchik","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4744,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.73844519,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"9","issue":"1","first_page":"617","last_page":"651"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9778000116348267,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9778000116348267,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10780","display_name":"Reliability and Maintenance Optimization","score":0.968500018119812,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.7048295736312866},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5420911908149719},{"id":"https://openalex.org/keywords/distribution","display_name":"Distribution (mathematics)","score":0.4702901840209961},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.46648767590522766},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4284919202327728},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4159044325351715},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.3432770371437073}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7048295736312866},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5420911908149719},{"id":"https://openalex.org/C110121322","wikidata":"https://www.wikidata.org/wiki/Q865811","display_name":"Distribution (mathematics)","level":2,"score":0.4702901840209961},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.46648767590522766},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4284919202327728},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4159044325351715},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.3432770371437073},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4086/toc.2013.v009a019","is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2013.v009a019","pdf_url":"https://theoryofcomputing.org/articles/v009a019/v009a019.pdf","source":{"id":"https://openalex.org/S142665794","display_name":"Theory of Computing","issn_l":"1557-2862","issn":["1557-2862"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315690","host_organization_name":"University of Chicago","host_organization_lineage":["https://openalex.org/P4310315690"],"host_organization_lineage_names":["University of Chicago"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.4086/toc.2013.v009a019","is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2013.v009a019","pdf_url":"https://theoryofcomputing.org/articles/v009a019/v009a019.pdf","source":{"id":"https://openalex.org/S142665794","display_name":"Theory of Computing","issn_l":"1557-2862","issn":["1557-2862"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315690","host_organization_name":"University of Chicago","host_organization_lineage":["https://openalex.org/P4310315690"],"host_organization_lineage_names":["University of Chicago"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1559890429","display_name":null,"funder_award_id":"N000141110140","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8734893650","display_name":"RIGOROUS APPROACHES TO MODERN STATISTICAL INFERENCE","funder_award_id":"N000141110140","funder_id":"https://openalex.org/F4320306078","funder_display_name":"U.S. Department of Defense"}],"funders":[{"id":"https://openalex.org/F4320306078","display_name":"U.S. Department of Defense","ror":"https://ror.org/0447fe631"},{"id":"https://openalex.org/F4320308943","display_name":"Microsoft Research","ror":"https://ror.org/00d0nc645"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2406503277.pdf","grobid_xml":"https://content.openalex.org/works/W2406503277.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W242035403","https://openalex.org/W1481140196","https://openalex.org/W1559492868","https://openalex.org/W1898334569","https://openalex.org/W1963913579","https://openalex.org/W2036265926","https://openalex.org/W2069603099","https://openalex.org/W2079035346","https://openalex.org/W2087662271","https://openalex.org/W2115104320","https://openalex.org/W2115831572","https://openalex.org/W2127490352","https://openalex.org/W2137699000","https://openalex.org/W2139919528","https://openalex.org/W2146667376","https://openalex.org/W2155218845","https://openalex.org/W2156094048","https://openalex.org/W2166602562","https://openalex.org/W2570121038","https://openalex.org/W2602510746","https://openalex.org/W2950654313","https://openalex.org/W3105349673","https://openalex.org/W3105442588","https://openalex.org/W4226347946","https://openalex.org/W4233413206","https://openalex.org/W4250225190","https://openalex.org/W4255293738"],"related_works":["https://openalex.org/W1585007175","https://openalex.org/W2382521049","https://openalex.org/W2144385241","https://openalex.org/W4253593777","https://openalex.org/W2951497643","https://openalex.org/W3101625811","https://openalex.org/W3037419933","https://openalex.org/W44982509","https://openalex.org/W2952234674","https://openalex.org/W4299809933"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2],"we":[3],"analyze":[4],"the":[5,35,42,51,55,60,69,74,91],"performance":[6],"of":[7,86,93],"Warning":[8,39],"Propagation,":[9],"a":[10,23,66,78],"popular":[11],"message":[12,46,94],"passing":[13,47,95],"algorithm.":[14],"We":[15,82],"show":[16],"that":[17],"for":[18,97],"3CNF":[19,29],"formulas":[20],"drawn":[21],"from":[22],"certain":[24],"distribution":[25],"over":[26],"random":[27],"satisfiable":[28],"formulas,":[30],"commonly":[31],"referred":[32],"to":[33,54],"as":[34],"planted-assignment":[36],"distribution,":[37],"running":[38],"Propagation":[40],"in":[41],"standard":[43],"way":[44],"(run":[45],"until":[48],"convergence,":[49],"simplify":[50],"formula":[52],"according":[53],"resulting":[56],"assignment,":[57],"and":[58],"satisfy":[59],"remaining":[61],"subformula,":[62],"if":[63],"necessary,":[64],"using":[65],"simple":[67],"\"off":[68],"shelf\"":[70],"heuristic)":[71],"works":[72],"when":[73],"clause-variable":[75],"ratio":[76],"is":[77],"sufficiently":[79],"large":[80],"constant.":[81],"are":[83],"not":[84],"aware":[85],"previous":[87],"rigorous":[88],"analysis":[89],"showing":[90],"effectiveness":[92],"algorithms":[96],"satisfiability":[98],"instances.":[99]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-12-17T22:08:43.090829","created_date":"2016-06-24T00:00:00"}