Quartz 5
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
raw
❯
notes
❯
Circuit-SAT
Circuit-SAT
Properties
1
tags
computation/complexity
Jun 28, 2026
1 min read
Circuit-SAT
SAT
を回路に変換したもの,
NP Complete
Graph View
Backlinks
MOC: アルゴリズム
ComputerScience
zk-SNARKs