Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving.

Jiong Yang Yaroslav A. Kharkov Yunong Shi Marijn J. H. Heule Bruno Dutertre

Published in: SAT (2024)

Keyphrases

sat solving
sat solvers
logic circuits
boolean satisfiability
sat problem
boolean optimization
search tree
reinforcement learning
objective function
evolutionary algorithm
combinatorial optimization
satisfiability problem