解码器与经典实时系统decoder
SAT / MaxSAT decoder
将 syndrome 一致性与恢复代价编码为布尔可满足性或加权 MaxSAT 问题，再由通用 SAT 求解器返回恢复算符。
- 成熟度
- research
- 重要度
- specialized
- 证据
- 1 篇代表来源
01
范围与辨析
记录编码规模、权重语义、噪声层级和 solver 版本；当前以 color-code 实例为代表，不泛化为所有码的实时方案。
02
核心机制与研究判断
核心机制
- Boolean constraints
- weighted MaxSAT
- color-code benchmark
- solver-dependent runtime
适用与评测约束
- Noise Level
- must be declared
- Execution Mode
- batch or online must be declared
- Hardware Sensitivity
- latency and parallelism must be measured
- Input Representation
- syndrome or detector model specific
- Benchmark Comparability
- requires code noise syndrome hardware tuple
03
全栈位置与直接关系
decoder/optimization/sat-maxsat04