{"id":"https://openalex.org/W1971029566","doi":"https://doi.org/10.1145/2422436.2422481","title":"Fast reductions from RAMs to delegatable succinct constraint satisfaction problems","display_name":"Fast reductions from RAMs to delegatable succinct constraint satisfaction problems","publication_year":2013,"publication_date":"2013-01-03","ids":{"openalex":"https://openalex.org/W1971029566","doi":"https://doi.org/10.1145/2422436.2422481","mag":"1971029566"},"language":"en","primary_location":{"id":"doi:10.1145/2422436.2422481","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2422436.2422481","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 4th conference on Innovations in Theoretical Computer Science","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"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/A5058111762","display_name":"Eli Ben\u2010Sasson","orcid":"https://orcid.org/0000-0002-0708-0483"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Eli Ben-Sasson","raw_affiliation_strings":["Technion and MIT, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technion and MIT, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101591310","display_name":"Alessandro Chiesa","orcid":"https://orcid.org/0000-0002-3029-2353"},"institutions":[{"id":"https://openalex.org/I4210110987","display_name":"IIT@MIT","ror":"https://ror.org/01wp8zh54","country_code":"US","type":"facility","lineage":["https://openalex.org/I30771326","https://openalex.org/I4210110987"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alessandro Chiesa","raw_affiliation_strings":["MIT, Cambridge, USA","MIT Cambridge, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MIT, Cambridge, USA","institution_ids":["https://openalex.org/I4210110987"]},{"raw_affiliation_string":"MIT Cambridge, USA","institution_ids":["https://openalex.org/I4210110987"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029386182","display_name":"Daniel Genkin","orcid":"https://orcid.org/0000-0003-2720-9288"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Daniel Genkin","raw_affiliation_strings":["Technion, Haifa, Israel","Technion , Haifa , Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technion, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Technion , Haifa , Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049555551","display_name":"Eran Tromer","orcid":"https://orcid.org/0000-0002-8884-9564"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Eran Tromer","raw_affiliation_strings":["Tel Aviv University, Tel Aviv, Israel","Tel Aviv University, Tel Aviv, Israel,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tel Aviv University, Tel Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]},{"raw_affiliation_string":"Tel Aviv University, Tel Aviv, Israel,","institution_ids":["https://openalex.org/I16391192"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":14.8239,"has_fulltext":false,"cited_by_count":69,"citation_normalized_percentile":{"value":0.98868334,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"401","last_page":"414"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9998999834060669,"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/T10237","display_name":"Cryptography and Data Security","score":0.9998999834060669,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9952999949455261,"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/computer-science","display_name":"Computer science","score":0.7520955801010132},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.706288754940033},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6923152208328247},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.6799779534339905},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.6366633176803589},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.59465491771698},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5150260925292969},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5075148344039917},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5061706900596619},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.5018596649169922},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.46681782603263855},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.4435460567474365},{"id":"https://openalex.org/keywords/proof-assistant","display_name":"Proof assistant","score":0.44334882497787476},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23008805513381958},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.10351800918579102},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07682788372039795}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7520955801010132},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.706288754940033},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6923152208328247},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.6799779534339905},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.6366633176803589},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.59465491771698},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5150260925292969},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5075148344039917},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5061706900596619},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.5018596649169922},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.46681782603263855},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.4435460567474365},{"id":"https://openalex.org/C203265346","wikidata":"https://www.wikidata.org/wiki/Q11387554","display_name":"Proof assistant","level":3,"score":0.44334882497787476},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23008805513381958},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.10351800918579102},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07682788372039795},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2422436.2422481","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2422436.2422481","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 4th conference on Innovations in Theoretical Computer Science","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":88,"referenced_works":["https://openalex.org/W4180724","https://openalex.org/W17575016","https://openalex.org/W53264231","https://openalex.org/W174102541","https://openalex.org/W950690059","https://openalex.org/W1504441476","https://openalex.org/W1513982482","https://openalex.org/W1521660974","https://openalex.org/W1522706628","https://openalex.org/W1538440442","https://openalex.org/W1540469777","https://openalex.org/W1541538376","https://openalex.org/W1555733702","https://openalex.org/W1557386445","https://openalex.org/W1566345534","https://openalex.org/W1584670745","https://openalex.org/W1590713339","https://openalex.org/W1605144615","https://openalex.org/W1650855019","https://openalex.org/W1686241726","https://openalex.org/W1755636270","https://openalex.org/W1850468005","https://openalex.org/W1969514863","https://openalex.org/W1970808997","https://openalex.org/W1971029566","https://openalex.org/W1972792640","https://openalex.org/W1978164133","https://openalex.org/W1978478346","https://openalex.org/W1988374166","https://openalex.org/W1994143146","https://openalex.org/W2002919335","https://openalex.org/W2006346148","https://openalex.org/W2009798194","https://openalex.org/W2011849452","https://openalex.org/W2016602956","https://openalex.org/W2017210730","https://openalex.org/W2021320809","https://openalex.org/W2022381972","https://openalex.org/W2029859729","https://openalex.org/W2031533839","https://openalex.org/W2038202352","https://openalex.org/W2040438296","https://openalex.org/W2041746306","https://openalex.org/W2045717693","https://openalex.org/W2049982182","https://openalex.org/W2052282410","https://openalex.org/W2053086236","https://openalex.org/W2059378096","https://openalex.org/W2062934582","https://openalex.org/W2067596507","https://openalex.org/W2073812497","https://openalex.org/W2074594718","https://openalex.org/W2077202644","https://openalex.org/W2080578129","https://openalex.org/W2081339104","https://openalex.org/W2083222410","https://openalex.org/W2085938002","https://openalex.org/W2087900794","https://openalex.org/W2097755092","https://openalex.org/W2107561538","https://openalex.org/W2116653107","https://openalex.org/W2126664878","https://openalex.org/W2128057004","https://openalex.org/W2129580084","https://openalex.org/W2134316164","https://openalex.org/W2137467444","https://openalex.org/W2140797111","https://openalex.org/W2144238522","https://openalex.org/W2146099890","https://openalex.org/W2146261818","https://openalex.org/W2146555867","https://openalex.org/W2151433956","https://openalex.org/W2152926062","https://openalex.org/W2154650342","https://openalex.org/W2158456654","https://openalex.org/W2166670067","https://openalex.org/W2398577578","https://openalex.org/W2405137585","https://openalex.org/W2407977113","https://openalex.org/W2568405635","https://openalex.org/W2613956024","https://openalex.org/W3028987847","https://openalex.org/W4248839711","https://openalex.org/W6628614173","https://openalex.org/W6630645706","https://openalex.org/W6837107423","https://openalex.org/W6990023262","https://openalex.org/W7009709281"],"related_works":["https://openalex.org/W2097415053","https://openalex.org/W1486916474","https://openalex.org/W4303044088","https://openalex.org/W2102858635","https://openalex.org/W1531664660","https://openalex.org/W1820477541","https://openalex.org/W2500041535","https://openalex.org/W1563755460","https://openalex.org/W4239133097","https://openalex.org/W2338461122"],"abstract_inverted_index":{"Succinct":[0],"arguments":[1,110],"for":[2,107],"NP":[3],"are":[4,40,52,113],"proof":[5],"systems":[6],"that":[7,45,48],"allow":[8],"a":[9,18,74,83,89,116,119],"weak":[10],"verifier":[11],"to":[12,85,102,118],"retroactively":[13],"check":[14],"computation":[15,59],"done":[16],"by":[17,81],"powerful":[19],"prover.":[20],"Constructions":[21],"of":[22,30,97,123,126],"such":[23,55,73],"protocols":[24],"prove":[25],"membership":[26],"in":[27,42,50,54,88],"languages":[28],"consisting":[29],"very":[31,79],"large":[32],"yet":[33],"succinctly-represented":[34],"constraint":[35],"satisfaction":[36],"problems":[37,47],"that,":[38],"alas,":[39],"unnatural":[41],"the":[43,46,61,95,124],"sense":[44],"arise":[49],"practice":[51],"not":[53],"form.":[56],"For":[57],"general":[58],"tasks,":[60],"most":[62],"natural":[63],"representation":[64,75],"is":[65,115],"typically":[66],"as":[67],"random-access":[68],"machine":[69],"(RAM)":[70],"algorithms,":[71],"because":[72],"can":[76],"be":[77],"obtained":[78],"efficiently":[80],"applying":[82],"compiler":[84],"code":[86],"written":[87],"high-level":[90],"programming":[91],"language.":[92],"Thus,":[93],"understanding":[94,122],"efficiency":[96],"reductions":[98],"from":[99],"RAM":[100],"computations":[101],"other":[103],"NP-complete":[104],"problem":[105],"representations":[106],"which":[108],"succinct":[109],"(or":[111],"proofs)":[112],"known":[114],"prerequisite":[117],"more":[120],"complete":[121],"applicability":[125],"these":[127],"arguments.":[128]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":11},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":11},{"year":2012,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}