奎斯特，阿伦德扬；阿尔芬斯·拉阿尔曼 使用恐怖的鹅卵石游戏优化量子空间。 （英语） Zbl 07786600号 Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13960, 134-149 (2023).MSC公司：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.-J.奎斯特}和\textit{A.Laarman}，莱克特。票据计算。科学。13960、134--149（2023；Zbl 07786600） 全文： 内政部
雷霍特，乔纳斯·沃尔珀斯；罗伯特·格莱克；马蒂斯·克鲁斯 走向去可逆化：静态地减少断言。 （英语） Zbl 07786598号 Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13960, 106-114 (2023).MSC公司：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Reholt}等人，Lect。票据计算。科学。13960、106-114（2023；Zbl 07786598） 全文： 内政部
克里斯蒂安·赫尔曼 关于有限高度补模格和正交补模格的方程判定问题的复杂性。 （英语） Zbl 07468272号 代数大学。 83，第1号，第5号论文，28页（2022年）.MSC公司：06C20号 16亿B50 2017年第68季度 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{C.Herrmann}，代数大学。83，第1号，第5号论文，28页（2022；Zbl 07468272） 全文： 内政部
马蒂亚斯·苏肯；朱利亚·穆利；布鲁诺·施密特；费雷什特·莫扎法里；亨氏里纳；乔瓦尼·德·米歇尔 量子编译中的布尔可满足性。 （英语） Zbl 1462.81065号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 378，No.2164，文章ID 20190161，16 p.（2020）.MSC公司：81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Soeken}等人，Philos。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。378，第2164号，文章ID 20190161，16页（2020；Zbl 1462.81065） 全文： 内政部
卞正兵；费边·丘达克；威廉·麦克雷迪；艾丹·罗伊；罗伯托·塞巴斯蒂亚尼；斯特凡诺·瓦罗蒂 用量子退火器求解SAT（和MaxSAT）：基础、编码和初步结果。 （英语） Zbl 1496.68298号 Inf.计算。 275，文章ID 104609，35 p.（2020）.MSC公司：68T20型 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Z.Bian}等人，《信息计算》。275，文章ID 104609，35 p.（2020；Zbl 1496.68298） 全文： 内政部 arXiv公司
何坤；李、钱；孙晓明；张嘉鹏 量子Lovász局部引理：Shearer的束缚是紧的。 （英语） Zbl 1433.68148号 Charikar，Moses（ed.）等人，第51届ACM SIGACT计算理论研讨会论文集，STOC’19，美国亚利桑那州凤凰城，2019年6月23日至26日。纽约州纽约市：计算机协会（ACM）。461-472（2019年）。MSC公司：2012年第68季度 60二氧化碳 87年第68季度 68卢比 68兰特 81页68 PDF格式BibTeX公司 XML格式引用 \textit{K.He}等人，in：第51届ACM SIGACT计算理论年会论文集，STOC’19，美国亚利桑那州凤凰城，2019年6月23日至26日。纽约州纽约市：计算机协会（ACM）。461--472（2019年；Zbl 1433.68148） 全文： 内政部 arXiv公司
阿尔伯特·阿塞里亚斯；Phokion G.科莱蒂斯。；西蒙·塞韦里尼 通过算子赋值的广义可满足性问题。 （英语） Zbl 1423.68430号 J.计算。系统。科学。 105, 171-198 (2019).MSC公司：68T20型 47B99型 81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}等人，《计算杂志》。系统。科学。105、171--198（2019年；Zbl 1423.68430） 全文： 内政部 arXiv公司
德奥利维拉·奥利维拉，马特乌斯 关于小树宽量子电路的可满足性。 （英语） Zbl 1378.68044号 理论计算。系统。 61，第2期，656-688（2017）.MSC公司：2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.de Oliveira Oliveirea}，理论计算。系统。61，No.2，656--688（2017；Zbl 1378.68044） 全文： 内政部 arXiv公司
Sattath，或；Siddhardh C.莫兰普迪。；Chris R.劳曼。；罗德里奇·莫斯纳 当局部哈密顿量必须是无阻的时。 （英语） Zbl 1435.68105号 程序。国家。阿卡德。科学。美国 113，第23号，6433-6437（2016）.MSC公司：2012年第68季度 60二氧化碳 87年第68季度 68卢比 68兰特 81页68 PDF格式BibTeX公司 XML格式引用 \textit{O.Sattath}等人，Proc。国家。阿卡德。科学。美国113，No.23，6433--6437（2016；Zbl 1435.68105） 全文： arXiv公司
克里斯蒂安·赫尔曼；马丁·齐格勒 量子可满足性的计算复杂性。 （英语） 兹比尔1426.68123 美国临床医学杂志 63，第2号，第19条，第31页（2016年）.MSC公司：65年第68季度 03D78号 2012年第68季度 2017年第68季度 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit｛C.Herrmann｝和\textit｛M.Ziegler｝，J.ACM 63，第2号，第19条，第31页（2016；Zbl 1426.68123） 全文： 内政部 arXiv公司
林云国；李永明 外源量子马尔可夫链与可达性分析。 （中文。英文摘要） Zbl 1389.81011号 J.软。 27，第12期，2994-3002（2016）.MSC公司：81页68 2012年第68季度 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lin}和\textit{Y.Li}，J.Softw。27，第12号，2994--3002（2016；Zbl 1389.81011） 全文： 内政部
德奥利维拉·奥利维拉，马特乌斯 关于小树宽量子电路的可满足性。 （英语） Zbl 1378.68043号 Beklemishev，Lev D.（编辑）等人，《计算机科学——理论与应用》。2015年7月13日至17日，第十届俄罗斯国际计算机科学研讨会，CSR 2015，俄罗斯Listvyanka。诉讼程序。查姆：施普林格（ISBN 978-3-319-20296-9/pbk；978-3-3169-20297-6/电子书）。计算机科学讲义9139，157-172（2015）。MSC公司：2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.de Oliveira Oliveila}，莱克特。票据计算。科学。9139，157--172（2015；Zbl 1378.68043） 全文： 内政部 arXiv公司
阿尼迪塔·班纳吉；阿尼尔班·帕塔克；杰哈德·杜克（Gerhard W.Dueck）。 可逆序列元件的最小设计。 （英语） Zbl 1417.94128号 Yamashita，Shigeru（编辑）等人，可逆计算。2014年7月10日至11日，第六届国际会议，RC 2014，日本京都。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8507, 137-148 (2014).MSC公司：94立方厘米 81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.Banerjee}等人，Lect。票据计算。科学。8507，137--148（2014；Zbl 1417.94128） 全文： 内政部
Van Melkebeek，迪特；托马斯·沃森 量子计算的时空效率模拟。 （英语） Zbl 1253.68136号 理论计算。 8，论文编号：1，1-51（2012）.MSC公司：2012年第68季度 2015年第68季度 2017年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{D.Van Melkebeek}和\textit{T.Watson}，理论计算。8，论文编号1，1--51（2012；Zbl 1253.68136） 全文： 内政部
谢尔盖·布拉维 2-SAT量子模拟的高效算法。 （英语） Zbl 1218.81032号 Mahdavi，Kazem（编辑）等人，《量子计算的跨学科进展》。国家科学基金会于2009年10月1日至4日在美国德克萨斯州泰勒市德克萨斯大学举办了表征理论、量子场论、范畴论和量子信息论研究会议。普罗维登斯，RI：美国数学学会（AMS）（ISBN 978-0-8218-4975-0/pbk）。《当代数学》53633-48（2011）。MSC公司：81页68 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bravyi}，康特姆。数学。536、33-48（2011年；Zbl 1218.81032） 全文： arXiv公司
C.R.劳曼。；R·莫斯纳。；A.斯卡迪奇奥。；桑迪S.L。 随机量子可满足性。 （英语） Zbl 1183.81039号 量子信息计算。 10，编号1-2，1-15（2010）.MSC公司：81页68 82个B44 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.R.Laumann}等人，《量子信息计算》。10，编号1--2，1--15（2010；Zbl 1183.81039）
丹尼尔·格罗；罗伯特·威利；杰哈德·杜克（Gerhard W.Dueck）。；罗尔夫·德雷克斯勒 基本量子门电路的精确综合。 （英语） Zbl 1236.94098号 J.穆特-有效日志。软计算。 15，第4期，283-300（2009）.MSC公司：94立方厘米 81页68 PDF格式BibTeX公司 XML格式引用 \textit{D.Große}等人，J.Mult-有效日志。软计算。15，第4号，283--300（2009；Zbl 1236.94098）
米洛朱布·杜吉奇 关于Ohya-Masuda量子算法的注释。 （英语） Zbl 1003.81009号 打开系统。Inf.动态。 9，第2期，115-123（2002）.MSC公司：81页68 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Dugić}，开放系统。Inf.动态。9，第2号，115-123（2002；Zbl 1003.81009） 全文： 内政部
塔德·霍格；德米特里·波特诺夫 量子优化。 （英语） Zbl 0983.81006号 信息科学。 128，第3-4号，181-197（2000）.MSC公司：81页68 2005年第68季度 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Hogg}和\textit{D.Portnov}，信息科学。128，编号3--4，181--197（2000；Zbl 0983.81006） 全文： 内政部 arXiv公司
噢，马萨诺里；内铃木Masuda 量子算法中的NP问题。 （英语） Zbl 0963.68083号 打开系统。Inf.动态。 7，第1期，33-39（2000）.MSC公司：65年第68季度 68周05 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Ohya}和\textit{N.Masuda}，开放系统。Inf.动态。7，第1号，33-39（2000；Zbl 0963.68083） 全文： 内政部 arXiv公司