{"id":"https://openalex.org/W2053658780","doi":"https://doi.org/10.1007/s00037-015-0100-0","title":"Mining Circuit Lower Bound Proofs for Meta-Algorithms","display_name":"Mining Circuit Lower Bound Proofs for Meta-Algorithms","publication_year":2015,"publication_date":"2015-04-20","ids":{"openalex":"https://openalex.org/W2053658780","doi":"https://doi.org/10.1007/s00037-015-0100-0","mag":"2053658780"},"language":"en","primary_location":{"id":"doi:10.1007/s00037-015-0100-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00037-015-0100-0","pdf_url":null,"source":{"id":"https://openalex.org/S193995496","display_name":"Computational Complexity","issn_l":"1016-3328","issn":["1016-3328","1420-8954"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"computational complexity","raw_type":"journal-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/A5082582375","display_name":"Ruiwen Chen","orcid":"https://orcid.org/0000-0002-8714-0043"},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Ruiwen Chen","raw_affiliation_strings":["School of Computing Science, Simon Fraser University, Burnaby, BC, Canada","School of Computing Science, Simon Fraser University, Burnaby, Canada,"],"affiliations":[{"raw_affiliation_string":"School of Computing Science, Simon Fraser University, Burnaby, BC, Canada","institution_ids":["https://openalex.org/I18014758"]},{"raw_affiliation_string":"School of Computing Science, Simon Fraser University, Burnaby, Canada,","institution_ids":["https://openalex.org/I18014758"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066747130","display_name":"Valentine Kabanets","orcid":null},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Valentine Kabanets","raw_affiliation_strings":["School of Computing Science, Simon Fraser University, Burnaby, BC, Canada","School of Computing Science, Simon Fraser University, Burnaby, Canada,"],"affiliations":[{"raw_affiliation_string":"School of Computing Science, Simon Fraser University, Burnaby, BC, Canada","institution_ids":["https://openalex.org/I18014758"]},{"raw_affiliation_string":"School of Computing Science, Simon Fraser University, Burnaby, Canada,","institution_ids":["https://openalex.org/I18014758"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003773985","display_name":"Antonina Kolokolova","orcid":null},"institutions":[{"id":"https://openalex.org/I130438778","display_name":"Memorial University of Newfoundland","ror":"https://ror.org/04haebc03","country_code":"CA","type":"education","lineage":["https://openalex.org/I130438778"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Antonina Kolokolova","raw_affiliation_strings":["Department of Computer Science, Memorial University of Newfoundland, St. John\u2019s, NL, Canada","Department of Computer Science, Memorial University of Newfoundland, St John's, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Memorial University of Newfoundland, St. John\u2019s, NL, Canada","institution_ids":["https://openalex.org/I130438778"]},{"raw_affiliation_string":"Department of Computer Science, Memorial University of Newfoundland, St John's, Canada","institution_ids":["https://openalex.org/I130438778"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062263696","display_name":"Ronen Shaltiel","orcid":"https://orcid.org/0000-0002-5182-593X"},"institutions":[{"id":"https://openalex.org/I91203450","display_name":"University of Haifa","ror":"https://ror.org/02f009v59","country_code":"IL","type":"education","lineage":["https://openalex.org/I91203450"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Ronen Shaltiel","raw_affiliation_strings":["Department of Computer Science, University of Haifa, Haifa, Israel","Department of Computer science, University of Haifa, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Haifa, Haifa, Israel","institution_ids":["https://openalex.org/I91203450"]},{"raw_affiliation_string":"Department of Computer science, University of Haifa, Haifa, Israel","institution_ids":["https://openalex.org/I91203450"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052332525","display_name":"David Zuckerman","orcid":"https://orcid.org/0000-0002-4749-3223"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Zuckerman","raw_affiliation_strings":["Department of Computer Science, University of Texas at Austin, Austin, TX, USA","Department of Computer Science , University of Texas at Austin, Austin, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Department of Computer Science , University of Texas at Austin, Austin, USA","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5082582375"],"corresponding_institution_ids":["https://openalex.org/I18014758"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":7.6395,"has_fulltext":false,"cited_by_count":35,"citation_normalized_percentile":{"value":0.97778692,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"24","issue":"2","first_page":"333","last_page":"392"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":1.0,"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/T10237","display_name":"Cryptography and Data Security","score":0.9993000030517578,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9979000091552734,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.621809184551239},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6017827987670898},{"id":"https://openalex.org/keywords/truth-table","display_name":"Truth table","score":0.5946760773658752},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5842882990837097},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5434738397598267},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.536130964756012},{"id":"https://openalex.org/keywords/circuit-minimization-for-boolean-functions","display_name":"Circuit minimization for Boolean functions","score":0.4765104353427887},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.44913214445114136},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.4435170888900757},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3268283009529114}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.621809184551239},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6017827987670898},{"id":"https://openalex.org/C56949724","wikidata":"https://www.wikidata.org/wiki/Q219079","display_name":"Truth table","level":2,"score":0.5946760773658752},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5842882990837097},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5434738397598267},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.536130964756012},{"id":"https://openalex.org/C94992772","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Circuit minimization for Boolean functions","level":4,"score":0.4765104353427887},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44913214445114136},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.4435170888900757},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3268283009529114},{"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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00037-015-0100-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00037-015-0100-0","pdf_url":null,"source":{"id":"https://openalex.org/S193995496","display_name":"Computational Complexity","issn_l":"1016-3328","issn":["1016-3328","1420-8954"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"computational complexity","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":65,"referenced_works":["https://openalex.org/W5136647","https://openalex.org/W21453999","https://openalex.org/W37923608","https://openalex.org/W112858668","https://openalex.org/W198198492","https://openalex.org/W987035227","https://openalex.org/W1499435886","https://openalex.org/W1503731768","https://openalex.org/W1517585663","https://openalex.org/W1527197079","https://openalex.org/W1563012911","https://openalex.org/W1568706289","https://openalex.org/W1576180980","https://openalex.org/W1616946822","https://openalex.org/W1901622511","https://openalex.org/W1966819396","https://openalex.org/W1974632918","https://openalex.org/W1976626676","https://openalex.org/W1985314294","https://openalex.org/W1995851745","https://openalex.org/W1998918799","https://openalex.org/W2005223599","https://openalex.org/W2007121506","https://openalex.org/W2009994177","https://openalex.org/W2015880590","https://openalex.org/W2017271630","https://openalex.org/W2021652795","https://openalex.org/W2021736779","https://openalex.org/W2026036943","https://openalex.org/W2026704052","https://openalex.org/W2030586582","https://openalex.org/W2036265926","https://openalex.org/W2036447017","https://openalex.org/W2040924621","https://openalex.org/W2042194938","https://openalex.org/W2045924252","https://openalex.org/W2047406446","https://openalex.org/W2055097525","https://openalex.org/W2056994701","https://openalex.org/W2060270693","https://openalex.org/W2061106457","https://openalex.org/W2070678975","https://openalex.org/W2092429268","https://openalex.org/W2102477571","https://openalex.org/W2106793914","https://openalex.org/W2107324709","https://openalex.org/W2110935583","https://openalex.org/W2129059686","https://openalex.org/W2129969631","https://openalex.org/W2140707287","https://openalex.org/W2156238967","https://openalex.org/W2157054705","https://openalex.org/W2158747250","https://openalex.org/W2163137752","https://openalex.org/W2163322487","https://openalex.org/W2164284862","https://openalex.org/W2165293955","https://openalex.org/W2283653978","https://openalex.org/W2363970847","https://openalex.org/W2398918824","https://openalex.org/W2490907619","https://openalex.org/W2912080987","https://openalex.org/W3150645827","https://openalex.org/W4205582340","https://openalex.org/W4298227433"],"related_works":["https://openalex.org/W2724189404","https://openalex.org/W3204916073","https://openalex.org/W2021985366","https://openalex.org/W1976822807","https://openalex.org/W2031906996","https://openalex.org/W2728195892","https://openalex.org/W2486254595","https://openalex.org/W1501085929","https://openalex.org/W4211064314","https://openalex.org/W1991822629"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}