Artifact for the CAV'26 paper "Quokka#: Quantum computing with #SAT"

Zenodo (CERN European Organization for Nuclear Research)

Abstract

This artifact supports the artifact evaluation of the paper ”Quokka#: Quantum computing with #SAT”.

Authors 5

1. Jingyi Mei Aachen

   Leiden University

   Affiliation as printed

   Leiden University

2. Dekel Zak

   Delft University of Technology

   Affiliation as printed

   Delft University of Technology

3. Muhammad Osama Aachen

   Leiden University

   Affiliation as printed

   Leiden University

4. Tim Coopmans

   Delft University of Technology

   Affiliation as printed

   Delft University of Technology

5. Alfons Laarman Aachen

   Leiden University

   Affiliation as printed

   Leiden University