量子回路のモデルカウンティングによるシミュレーション

汎用的なClifford+T回路の強いシミュレーションを可能にする重み付きモデルカウンティングのエンコーディング手法。