位置：成果数据库 > 期刊 > 期刊详情页
Uncertainty relation
  • ISSN号：1050-2947
  • 期刊名称：Physical Review A
  • 时间：0
  • 页码：052106-1-052106-4
  • 语言：英文
  • 相关项目：RTL电路的混合可满足性求解和模型检验
作者： Dafa Li|
同期刊论文项目
RTL电路的混合可满足性求解和模型检验
期刊论文 13 会议论文 9
同项目期刊论文
SLOCC classifications for nine families of four-qubits
Stochastic local operations and classical communication properties of the n-qubit symmetric Dicke st
Resolution with limited factoring
采用二元CSP引擎求解RTL数据通路的可满足性
An entanglement measure for n qubits
Classification of four-qubit states by means of a stochastic operation and the classical communicati
performance of equal phase-shift search for one iteration
Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued
RTL验证中的混合可满足性求解
基于局部与全局信息的自动文摘算法