{"id":"https://openalex.org/W2926868949","doi":"https://doi.org/10.23919/date.2019.8715092","title":"Reversible Pebbling Game for Quantum Memory Management","display_name":"Reversible Pebbling Game for Quantum Memory Management","publication_year":2019,"publication_date":"2019-03-01","ids":{"openalex":"https://openalex.org/W2926868949","doi":"https://doi.org/10.23919/date.2019.8715092","mag":"2926868949"},"language":"en","primary_location":{"id":"doi:10.23919/date.2019.8715092","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2019.8715092","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1904.02121","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049567194","display_name":"Giulia Meuli","orcid":"https://orcid.org/0000-0002-6405-5989"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Giulia Meuli","raw_affiliation_strings":["EPFL, Lausanne, Switzerland","EPFL, Lausanne (Switzerland)"],"affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"EPFL, Lausanne (Switzerland)","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084007478","display_name":"Mathias Soeken","orcid":"https://orcid.org/0000-0002-0229-8766"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Mathias Soeken","raw_affiliation_strings":["EPFL, Lausanne, Switzerland","EPFL, Lausanne (Switzerland)"],"affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"EPFL, Lausanne (Switzerland)","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040193392","display_name":"Martin Roetteler","orcid":"https://orcid.org/0000-0003-0234-2496"},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Martin Roetteler","raw_affiliation_strings":["Microsoft, Redmond, WA, USA","Microsoft, Redmond WA, USA"],"affiliations":[{"raw_affiliation_string":"Microsoft, Redmond, WA, USA","institution_ids":["https://openalex.org/I1290206253"]},{"raw_affiliation_string":"Microsoft, Redmond WA, USA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091080723","display_name":"Nikolaj Bj\u00f8rner","orcid":"https://orcid.org/0000-0002-1695-2810"},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nikolaj Bjorner","raw_affiliation_strings":["Microsoft, Redmond, WA, USA","Microsoft, Redmond WA, USA"],"affiliations":[{"raw_affiliation_string":"Microsoft, Redmond, WA, USA","institution_ids":["https://openalex.org/I1290206253"]},{"raw_affiliation_string":"Microsoft, Redmond WA, USA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072927296","display_name":"Giovanni De Micheli","orcid":"https://orcid.org/0000-0002-7827-3215"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Giovanni De Micheli","raw_affiliation_strings":["EPFL, Lausanne, Switzerland","EPFL, Lausanne (Switzerland)"],"affiliations":[{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"EPFL, Lausanne (Switzerland)","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5049567194"],"corresponding_institution_ids":["https://openalex.org/I5124864"],"apc_list":null,"apc_paid":null,"fwci":0.15361775,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.54058911,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"288","last_page":"291"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":1.0,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":1.0,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.9987000226974487,"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9883000254631042,"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/computer-science","display_name":"Computer science","score":0.7632647752761841},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.6323444843292236},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.6142387986183167},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.4991641044616699},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.47107070684432983},{"id":"https://openalex.org/keywords/quantum-circuit","display_name":"Quantum circuit","score":0.4529286324977875},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.4412248134613037},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.4331985116004944},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.41374409198760986},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4104989469051361},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3936893343925476},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3735131323337555},{"id":"https://openalex.org/keywords/quantum-network","display_name":"Quantum network","score":0.25374776124954224},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.20916980504989624},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14929163455963135}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7632647752761841},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.6323444843292236},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.6142387986183167},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.4991641044616699},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.47107070684432983},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.4529286324977875},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.4412248134613037},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.4331985116004944},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.41374409198760986},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4104989469051361},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3936893343925476},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3735131323337555},{"id":"https://openalex.org/C186468114","wikidata":"https://www.wikidata.org/wiki/Q836478","display_name":"Quantum network","level":4,"score":0.25374776124954224},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.20916980504989624},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14929163455963135},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C98986596","wikidata":"https://www.wikidata.org/wiki/Q1143031","display_name":"Semiconductor memory","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.23919/date.2019.8715092","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2019.8715092","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1904.02121","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1904.02121","pdf_url":"https://arxiv.org/pdf/1904.02121","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"mag:2926868949","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1904.02121","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:infoscience.epfl.ch:265930","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/265930","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference proceedings"},{"id":"doi:10.48550/arxiv.1904.02121","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1904.02121","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1904.02121","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1904.02121","pdf_url":"https://arxiv.org/pdf/1904.02121","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.47999998927116394}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1492999010","https://openalex.org/W1525622236","https://openalex.org/W1631356911","https://openalex.org/W2061073612","https://openalex.org/W2084652510","https://openalex.org/W2102008187","https://openalex.org/W2168676717","https://openalex.org/W2192787805","https://openalex.org/W2215464783","https://openalex.org/W2349487082","https://openalex.org/W2560531073","https://openalex.org/W2571500074","https://openalex.org/W2586874551","https://openalex.org/W2765753692","https://openalex.org/W2794503138","https://openalex.org/W2800719180","https://openalex.org/W2888334837","https://openalex.org/W2949386223","https://openalex.org/W2962848491","https://openalex.org/W2964190485","https://openalex.org/W3101201397","https://openalex.org/W3105080542","https://openalex.org/W3105362324","https://openalex.org/W3105543591","https://openalex.org/W6636726492","https://openalex.org/W6750853391","https://openalex.org/W6770759485"],"related_works":["https://openalex.org/W2963563052","https://openalex.org/W2791331331","https://openalex.org/W2903929395","https://openalex.org/W2953111159","https://openalex.org/W3112764621","https://openalex.org/W3195684713","https://openalex.org/W3171712046","https://openalex.org/W3106632989","https://openalex.org/W3183847343","https://openalex.org/W2121369607","https://openalex.org/W3139389937","https://openalex.org/W3104361580","https://openalex.org/W3129458892","https://openalex.org/W2962223924","https://openalex.org/W2963481762","https://openalex.org/W3102593776","https://openalex.org/W2760552098","https://openalex.org/W3171982530","https://openalex.org/W2724962868","https://openalex.org/W3044648886"],"abstract_inverted_index":{"Quantum":[0],"memory":[1,49,100],"management":[2],"is":[3],"becoming":[4],"a":[5,67,72,133,156,160],"pressing":[6],"problem,":[7],"especially":[8],"given":[9],"the":[10,33,58,77,80,89,92,97,112,120,136,148,152],"recent":[11],"research":[12],"effort":[13],"to":[14,95,110,122],"develop":[15,66],"new":[16],"and":[17,102],"more":[18],"complex":[19],"quantum":[20,28,48,81,157,163],"algorithms.":[21],"The":[22,85],"only":[23],"existing":[24,137],"automatic":[25,45],"method":[26],"for":[27,47],"states":[29],"clean-up":[30,74],"relies":[31],"on":[32,63,159],"availability":[34],"of":[35,79,104,114,143,150],"many":[36],"extra":[37],"resources.":[38],"In":[39],"this":[40,54],"work,":[41],"we":[42,65,118,131,146],"propose":[43],"an":[44,140],"tool":[46,87,153],"management.":[50],"We":[51,106],"show":[52,147],"how":[53],"problem":[55],"exactly":[56],"matches":[57],"reversible":[59],"pebbling":[60],"game.":[61],"Based":[62],"that,":[64],"SAT-based":[68],"algorithm":[69,121],"that":[70],"returns":[71],"valid":[73],"strategy,":[75],"taking":[76],"limitations":[78],"hardware":[82],"into":[83],"account.":[84],"developed":[86],"empowers":[88],"designer":[90],"with":[91,135],"flexibility":[93],"required":[94],"explore":[96],"trade-off":[98],"between":[99],"resources":[101],"number":[103],"operations.":[105],"present":[107],"three":[108],"show-cases":[109],"prove":[111],"validity":[113],"our":[115],"approach.":[116],"First,":[117],"apply":[119],"straight-line":[123],"programs,":[124],"widely":[125],"used":[126],"in":[127],"cryptographic":[128],"applications.":[129],"Second,":[130],"perform":[132],"comparison":[134],"approach,":[138],"showing":[139],"average":[141],"improvement":[142],"52.77%.":[144],"Finally,":[145],"advantage":[149],"using":[151],"when":[154],"synthesizing":[155],"circuit":[158],"constrained":[161],"near-term":[162],"device.":[164]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-02-09T09:26:11.010843","created_date":"2025-10-10T00:00:00"}