Quokka# is a Python library that converts quantum circuit analysis tasks into #SAT problems, offering multiple encodings, approximate equivalence checking, and depth-optimal synthesis.
CoRR , volume =
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
The paper proposes persistent caching of component data and adapted branching heuristics to amortize computation in incremental #SAT, showing performance gains on argumentation and soft core problems.
citing papers explorer
-
Quokka#: Quantum Computing with #SAT
Quokka# is a Python library that converts quantum circuit analysis tasks into #SAT problems, offering multiple encodings, approximate equivalence checking, and depth-optimal synthesis.
-
Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
The paper proposes persistent caching of component data and adapted branching heuristics to amortize computation in incremental #SAT, showing performance gains on argumentation and soft core problems.