S.  Jeffery and Kimmel, S., ?Quantum Algorithms for Graph Connectivity and Formula Evaluation?, 2017.