Representing quantum graph states by binary decision diagrams
Representing quantum graph states by binary decision diagrams
复制标题
用二元决策图表示量子图状态
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
and B. Lin
中科院分区：
文献类型：
--
作者：
H. Hiraishi;H. Imai;Y. Iwata;and B. Lin
登录
查看更多内容
索引 BDD：表示和验证布尔函数的技术的算法进步
DOI：
10.1109/12.644298
发表时间：
1997
期刊：
IEEE Trans. Computers
影响因子：
--
作者：
J. Jain;J. Bitner;M. Abadir;J. Abraham;D. Fussell
通讯作者：
D. Fussell
DOI：
10.1145/3445814.3446750
发表时间：
2021
期刊：
26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’21
影响因子：
--
作者：
Huang, Yipeng;Holtzen, Steven;Millstein, Todd;Van den Broeck, Guy;Martonosi, Margaret
通讯作者：
Martonosi, Margaret
DOI：
10.1145/3453483.3454061
发表时间：
2021-06
期刊：
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Nengkun Yu;J. Palsberg
通讯作者：
Nengkun Yu;J. Palsberg
论程序图式的类
DOI：
10.1137/0201006
发表时间：
1971
期刊：
SIAM journal on computing (Print)
影响因子：
--
作者：
R. Constable;D. Gries
通讯作者：
D. Gries
影响因子：
--
作者：
Chandrakana Nandi;Max Willsey;Amy Zhu;Y. Wang;Brett Saiki;Adam Anderson;Adriana Schulz;D. Grossman;Zach Tatlock
通讯作者：
Chandrakana Nandi;Max Willsey;Amy Zhu;Y. Wang;Brett Saiki;Adam Anderson;Adriana Schulz;D. Grossman;Zach Tatlock