Lucas T. Brady

Quantum Approximate Optimization with a Trapped-Ion Quantum Simulator

2019 · arXiv (Cornell University)

Quantum computers and simulators may offer significant advantages over their classical counterparts, providing insights into quantum many-body systems and possibly solving exponentially hard problems, such as optimization and satisfiability. Here we report the first implementation …

Quantum DPLL and Generalized Constraints in Iterative Quantum Algorithms

2025 · arXiv (Cornell University)

Too often, quantum computer scientists seek to create new algorithms entirely fresh from new cloth when there are extensive and optimized classical algorithms that can be generalized wholesale. At the same time, one may seek …