pith. sign in

Title resolution pending

3 Pith papers cite this work. Polarity classification is still indexing.

3 Pith papers citing it

fields

quant-ph 3

years

2026 1 2024 2

representative citing papers

Quokka#: Quantum Computing with #SAT

quant-ph · 2026-05-15 · unverdicted · novelty 6.0

Quokka# is a Python library that converts quantum circuit analysis tasks into #SAT problems, offering multiple encodings, approximate equivalence checking, and depth-optimal synthesis.

citing papers explorer

Showing 3 of 3 citing papers.