Information Technologies of CAD/CAM/CAE

A QUANTUM APPROACH TO SOLVING PROBLEMS FORMAL VERIFICATION OF DIGITAL CIRCUITS

P. A. Pravilshchikov

Published Jan 1, 2023• 0 citations

Related papers

ANALOG-DIGITAL QUANTUM SIMULATION OF DICKE MODEL WITH SUPERCONDUCTING CIRCUITS

S. V. Remizov, A. A. Zhukov, W. V. Pogosov +1 more

Verification of Quantum Circuits

Robert Wille, Lukas Burgholzer

A FOURTH ORDER DIFFUSION MONTE CARLO ALGORITHM FOR SOLVING QUANTUM MANY-BODY PROBLEMS

Harald Forbert, Siu A. Chin

Verification of Quantum Circuits

Robert Wille, Lukas Burgholzer

VECTOR COHERENT STATE THEORY: A POWERFUL TOOL FOR SOLVING ALGEBRAIC PROBLEMS IN PHYSICS

DAVID J. ROWE

Model Checking for Verification of Quantum Circuits

Mingsheng Ying