15 citations · 18 across the 6 of their papers we have counts for
4 papers · 1 filter
Constraint programming models for depth-optimal qubit assignment and SWAP-based routing
Kyle E. C. Booth
Due to the limited connectivity of gate model quantum devices, logical quantum circuits must be compiled to target hardware before they can be executed. Often, this process involve…
Quantum-accelerated constraint programming
Kyle E. C. Booth, Bryan O'Gorman, Jeffrey Marshall +2
Constraint programming (CP) is a paradigm used to model and solve constraint satisfaction and combinatorial optimization problems. In CP, problems are modeled with constraints that…
Integer programming techniques for minor-embedding in quantum annealers
David E. Bernal, Kyle E. C. Booth, Raouf Dridi +3
A major limitation of current generations of quantum annealers is the sparse connectivity of manufactured qubits in the hardware graph. This technological limitation generated cons…
Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation
Kyle E. C. Booth, Minh Do, J. Christopher Beck +3
Recently, the makespan-minimization problem of compiling a general class of quantum algorithms into near-term quantum processors has been introduced to the AI community. The resear…