Reqomp: عدم محاسبه فضای محدود برای مدارهای کوانتومی

[1] انوک پارادیس، بنجامین بیچسل، ساموئل استفن و مارتین وچف. Unqomp: سنتز غیر محاسباتی در مدارهای کوانتومی در مجموعه مقالات چهل و دومین کنفرانس بین المللی ACM SIGPLAN در زمینه طراحی و پیاده سازی زبان برنامه نویسی. صفحات 42-222. انجمن ماشین‌های محاسباتی، نیویورک، نیویورک، ایالات متحده آمریکا (236).
https://doi.org/​10.1145/​3453483.3454040

[2] یونگشان دینگ، شین چوان وو، آدام هلمز، اش وایزث، دیانا فرانکلین، مارگارت مارتونوسی و فردریک تی چونگ. "مربع: استفاده مجدد استراتژیک کوانتومی برای برنامه های کوانتومی مدولار از طریق غیر محاسباتی مقرون به صرفه". در سال 2020 ACM/​IEEE چهل و هفتمین سمپوزیوم سالانه بین المللی معماری کامپیوتر (ISCA). صفحات 47–570. IEEE (583).
https://doi.org/​10.1109/​ISCA45697.2020.00054

[3] بنجامین بیچسل، ماکسیمیلیان بادر، تیمون گر و مارتین وچف. "Silq: یک زبان کوانتومی سطح بالا با محاسبات ایمن و معناشناسی شهودی". در مجموعه مقالات چهل و یکمین کنفرانس ACM SIGPLAN در مورد طراحی و پیاده سازی زبان برنامه نویسی. صفحات 41–286. PLDI 300نیویورک، نیویورک، ایالات متحده آمریکا (2020). انجمن ماشین های محاسباتی.
https://doi.org/​10.1145/​3385412.3386007

[4] رابرت رند، جنیفر پیکین، دونگ هو لی و استیو زدانسویچ. "ReQWIRE: استدلال در مورد مدارهای کوانتومی برگشت پذیر". مجموعه مقالات الکترونیکی در علوم کامپیوتر نظری 287، 299-312 (2019).
https://doi.org/​10.4204/​EPTCS.287.17

[5] امانوئل نیل. "تحلیلی از بازی سنگریزه بنت". گزارش فنی arXiv:math/9508218. arXiv (1995).
https://doi.org/​10.48550/​arXiv.math/​9508218
arXiv:math/9508218

[6] سیو من چان، ماسیمو لوریا، یاکوب نوردستروم و مارک وینیالز. "سختی تقریب در psspace و نتایج جداسازی برای بازی های سنگریزه". در سال 2015 IEEE پنجاه و ششمین سمپوزیوم سالانه مبانی علوم کامپیوتر. صفحات 56-466. (485).
https://doi.org/​10.1109/​focs.2015.36

[7] الکساندر اس. گرین، پیتر لوفانو لومزدین، نیل جی راس، پیتر سلینگر و بنویت والیرون. Quipper: یک زبان برنامه نویسی کوانتومی مقیاس پذیر. در مجموعه مقالات سی و چهارمین کنفرانس ACM SIGPLAN در مورد طراحی و پیاده سازی زبان برنامه نویسی. صفحه 34-333. PLDI '342نیویورک، نیویورک، ایالات متحده آمریکا (13). انجمن ماشین های محاسباتی.
https://doi.org/​10.1145/​2491956.2462177

[8] الکس والد، مارتین روتلر، و کریستا ام. سوور. "تلفیق مدار برگشت پذیر با محدودیت فضا". گزارش فنی arXiv:1510.00377. arXiv (2015).
https://doi.org/​10.48550/​arXiv.1510.00377
arXiv: 1510.00377

[9] الکس والد، مارتین روتلر، و کریستا ام. سوور. "REVS: ابزاری برای سنتز مدارهای برگشت پذیر بهینه شده در فضا". در آیین فیلیپس و حفیظور رحمان، ویراستاران، محاسبات برگشت پذیر. صفحات 90-101. یادداشت های سخنرانی در Computer ScienceCham (2017). انتشارات بین المللی Springer.
https:/​/​doi.org/​10.1007/​978-3-319-59936-6_7

[10] دبیوتی باتاچارجی، ماتیاس سوکن، سریجیت دوتا، آنوپام چاتوپادیای و جیووانی دی میشلی. «بازی‌های ریگی برگشت‌پذیر برای کاهش کیوبیت‌ها در سنتز مدار کوانتومی سلسله مراتبی». در سال 2019 IEEE چهل و نهمین سمپوزیوم بین المللی منطق چند ارزشی (ISMVL). صفحات 49-102. (107).
https://doi.org/​10.1109/​ISMVL.2019.00026

[11] جولیا ماولی، ماتیاس سوکن، مارتین روتلر، نیکولای بیورنر و جیووانی دی میشلی. "بازی سنگریزه برگشت پذیر برای مدیریت حافظه کوانتومی". در 2019 طراحی، اتوماسیون و تست در کنفرانس و نمایشگاه اروپا (DATE). صفحات 288-291. IEEE (2019).
https://doi.org/​10.23919/​date.2019.8715092

[12] چارلز اچ. بنت. «معادل زمان/فضا برای محاسبات برگشت‌پذیر». SIAM Journal on Computing 18, 766-776 (1989).
https://doi.org/​10.1137/​0218053

[13] کریستا سوور، آلن گلر، ماتیاس ترویر، جان آزاریا، کریستوفر گراناد، بتینا هیم، وادیم کلیوشنیکوف، ماریا میخایلووا، آندرس پاز و مارتین روتلر. Q#: فعال کردن محاسبات کوانتومی مقیاس پذیر و توسعه با dsl سطح بالا. In Proceedings of the Real World Domain Specific Languages ​​Workshop 2018. RWDSL2018New York, NY, USA (2018). انجمن ماشین های محاسباتی.
https://doi.org/​10.1145/​3183895.3183901

[14] متیو امی، مارتین روتلر و کریستا ام. سوور. "تلفیقی تایید شده از مدارهای برگشت پذیر کارآمد در فضا". در Rupak Majumdar و Viktor Kunčak، ویراستاران، Computer Aided Verification. جلد 10427، صفحات 3-21. انتشارات بین المللی اسپرینگر، چم (2017).
https:/​/​doi.org/​10.1007/​978-3-319-63390-9_1