Quokka#: Quantum Computing with #SAT.

Jingyi Mei, Dekel Zak, Muhammad Osama, Tim Coopmans, Alfons Laarman

Browse the full CAV paper archive.