丹尼尔·格罗;罗伯特·威利;杰哈德·杜克（Gerhard W.Dueck）。;罗尔夫·德雷克斯勒 基本量子门电路的精确综合。 （英语） 兹比尔1236.94098 J.穆特-有效日志。软计算。 15，第4期，283-300（2009）. 摘要：可逆逻辑函数的紧凑实现在量子计算机的设计中具有重要意义。本文提出了一种基于布尔可满足性（SAT）的精确综合算法，该算法可以找到给定可逆函数的最小初等量子门实现。由于这些门以量子比特的形式工作，因此提出了一种多值编码。不要在意许多可逆功能中出现的情况。当函数嵌入到可逆函数中时，通常需要恒定输入。该算法充分利用了不关心条件，并自动将常数输入设置为其最优值。该算法的有效性在一组基准函数上得到了证明。 引用于1文件 MSC公司： 94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010） 81页68 量子计算 关键词：可逆逻辑函数;精确综合算法;量子电路;多值编码;布尔可满足性 PDF格式BibTeX公司 XML格式引用 \textit{D.Große}等人，J.Mult-有效日志。软计算。15，第4号，283--300（2009；Zbl 1236.94098）