Journal of Logical and Algebraic Methods in Programming

Formal reasoning about Bernstein-Vazirani algorithm

Hongxia Sun, Zhiping Shi, Shanyan Chen, Guohui Wang, Ximeng Li, Yong Guan

Published Jan 1, 2026• 0 citations

Related papers

A Generalization of the Bernstein-Vazirani Algorithm

Koji Nagata

Distributed Bernstein–Vazirani algorithm

Xu Zhou, Daowen Qiu, Le Luo

Simon’s, Deutsch–Jozsa, and Bernstein–Vazirani Algorithms

Osama M. Raisuddin, Suvranu De

Bernstein-Vazirani Algorithm with a Ccnot-Based Oracle

Mahmoud Hamed Annaby

Generalization of the Bernstein–Vazirani algorithm beyond qubit systems

Koji Nagata, Han J.F. Geurdes, Santanu Kumar Patro +3 more

A generalization of Bernstein–Vazirani algorithm with multiple secret keys and a probabilistic oracle

Alok Shukla, Prakash Vedula