Rapid solution of logical equivalence problems by quantum computation algorithm

We present a quantum computation algorithm that enables solving the problem of logical equivalence verification in exponentially less time than the classical deterministic computation. In this novel quantum algorithm, the oracles of the two evaluated functions are executed in series to yield a commo...

Full description

Bibliographic Details

Published in:	Applied soft computing Vol. 132; p. 109844
Main Authors:	Zidan, Mohammed, Hegazy, Salem F., Abdel-Aty, Mahmoud, Obayya, Salah S.A.
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.01.2023
Subjects:	Logical equivalence Quantum algorithms Quantum computing Quantum verification Quantum algorithms Quantum computing Logical equivalence Quantum verification
ISSN:	1568-4946
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!