QGAT: A Generate-and-Test Paradigm for Quantum Circuits

Explore a 17-minute conference talk from ACM SIGPLAN's PLanQC'24 that introduces QGAT, a Generate-and-Test paradigm for quantum circuits. Presented by Ulrik de Muelenaere, this talk delves into the application of a classical algorithmic paradigm to quantum computing. Learn how a specialized Domain-Specific Language (DSL) can be used to express and understand common quantum algorithms using the familiar "Generate-and-Test" heuristic search technique. Discover how this approach bridges the gap between classical intuition and quantum algorithm design, potentially simplifying the development and comprehension of quantum circuits.