@misc{indiciae4a890e7d7c89, title = {Reversible Pebbling Game for Quantum Memory Management}, author = {Giulia Meuli and Mathias Soeken and Martin Roetteler and Nikolaj Bjorner and Giovanni De Micheli}, year = {2019}, url = {https://arxiv.org/abs/1904.02121}, note = {Source identifier: 1904.02121} }