{"id":"https://openalex.org/W2963036764","doi":"https://doi.org/10.4230/lipics.mfcs.2016.12","title":"On the Complexity of Probabilistic Trials for Hidden Satisfiability Problems","display_name":"On the Complexity of Probabilistic Trials for Hidden Satisfiability Problems","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2963036764","doi":"https://doi.org/10.4230/lipics.mfcs.2016.12","mag":"2963036764"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.4230/LIPIcs.MFCS.2016.12","pdf_url":null,"source":{"id":"https://openalex.org/S4306420488","display_name":"Mathematical Foundations of Computer Science","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010322438","display_name":"Itai Arad","orcid":"https://orcid.org/0009-0005-5481-6333"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"funder","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Itai Arad","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007781126","display_name":"Adam Bouland","orcid":"https://orcid.org/0000-0002-8556-8337"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"funder","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adam Bouland","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, United States"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, United States","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074338298","display_name":"Daniel Grier","orcid":null},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"funder","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel Grier","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, United States"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, United States","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046562790","display_name":"Mikl\u00f3s S\u00e1ntha","orcid":null},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"funder","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Miklos Santha","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075780348","display_name":"Aarthi Sundaram","orcid":null},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"funder","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Aarthi Sundaram","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100757082","display_name":"Shengyu Zhang","orcid":"https://orcid.org/0000-0001-5907-2277"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"funder","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Shengyu Zhang","raw_affiliation_strings":["Chinese University of Hong Kong, Hong Kong, China"],"affiliations":[{"raw_affiliation_string":"Chinese University of Hong Kong, Hong Kong, China","institution_ids":["https://openalex.org/I177725633"]}]}],"institution_assertions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":66},"biblio":{"volume":null,"issue":null,"first_page":"14","last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9888,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9888,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11719","display_name":"Data Quality and Management","score":0.9703,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9478,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6807228},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.5606424},{"id":"https://openalex.org/keywords/polynomial-hierarchy","display_name":"Polynomial hierarchy","score":0.43422723}],"concepts":[{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.70497596},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6807228},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.6710863},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.6257564},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5631851},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.5606424},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.49912357},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.49849534},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4855611},{"id":"https://openalex.org/C2776013622","wikidata":"https://www.wikidata.org/wiki/Q2103021","display_name":"Polynomial hierarchy","level":3,"score":0.43422723},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3954},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.349554},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30856857},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09649745},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.4230/LIPIcs.MFCS.2016.12","pdf_url":null,"source":{"id":"https://openalex.org/S4306420488","display_name":"Mathematical Foundations of Computer Science","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, justice, and strong institutions","score":0.43,"id":"https://metadata.un.org/sdg/16"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3211157253","https://openalex.org/W3196775331","https://openalex.org/W2953078945","https://openalex.org/W2949952535","https://openalex.org/W2949277485","https://openalex.org/W2784921327","https://openalex.org/W2474246643","https://openalex.org/W2440266813","https://openalex.org/W2417744963","https://openalex.org/W2402235836","https://openalex.org/W236032","https://openalex.org/W2359324386","https://openalex.org/W2249789217","https://openalex.org/W1999061527","https://openalex.org/W1971710307","https://openalex.org/W1676888250","https://openalex.org/W1602668715","https://openalex.org/W1601301932","https://openalex.org/W1548801608","https://openalex.org/W1490904659"],"abstract_inverted_index":{"What":[0],"is":[1,16,26,46,97,118,135],"the":[2,14,33,44,64,68,95,106,112,115,130,145,171,185],"minimum":[3],"amount":[4],"of":[5,114],"information":[6,131],"and":[7,37,174,205],"time":[8,85,162,200,212],"needed":[9],"to":[10,52,105,121,137,184,202,214],"solve":[11,138,177],"2SAT?":[12],"When":[13],"instance":[15,173],"known,":[17],"it":[18],"can":[19,147,164,195,207],"be":[20,81,122,148,196,208],"solved":[21,82,197],"in":[22,75,83,93,140,160,191,198,210],"polynomial":[23,84,141,161,199,211,216],"time,":[24,142],"but":[25],"this":[27,76,125,133,192],"also":[28,176],"possible":[29,50],"without":[31],"knowing":[32],"instance?":[34],"Bei,":[35],"Chen":[36],"Zhang":[38],"(STOC'13)":[39],"considered":[40],"a":[41,53,91],"model":[42,92],"where":[43],"input":[45,96],"accessed":[47,98],"by":[48,63,99,124],"proposing":[49,100],"assignments":[51,104],"special":[54],"oracle.":[55],"This":[56],"oracle,":[57],"on":[58],"encountering":[59],"some":[60],"constraint":[61,69,116],"unsatisfied":[62],"proposal,":[65],"returns":[66,111],"only":[67],"index.":[70],"It":[71],"turns":[72],"out":[73],"that,":[74],"model,":[77],"even":[78,143,165],"1SAT":[79,139],"cannot":[80],"unless":[86],"P=NP.":[87],"Hence,":[88],"we":[89,163,180],"consider":[90],"which":[94],"probability":[101],"distributions":[102],"over":[103],"variables.":[107],"The":[108],"oracle":[109],"then":[110],"index":[113],"that":[117,129,190],"most":[119],"likely":[120],"violated":[123],"distribution.":[126],"We":[127,188],"show":[128,189],"obtained":[132],"way":[134],"sufficient":[136],"when":[144],"clauses":[146],"repeated.":[149],"For":[150],"2SAT,":[151],"as":[152,154],"long":[153],"there":[155],"are":[156],"no":[157],"repeated":[158],"clauses,":[159],"learn":[166],"an":[167],"equivalent":[168],"formula":[169],"for":[170],"hidden":[172],"hence":[175],"it.":[178],"Furthermore,":[179],"extend":[181],"these":[182],"results":[183],"quantum":[186],"regime.":[187],"setting":[193],"1QSAT":[194],"up":[201,213],"constant":[203],"precision,":[204],"2QSAT":[206],"learnt":[209],"inverse":[215],"precision.":[217]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2963036764","counts_by_year":[],"updated_date":"2025-01-24T07:54:22.043224","created_date":"2019-07-30"}