FF's Roam Notes
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
SAT Problem
SAT Problem
Jun 05, 2025
1 min read
np
Problem Definition
Given a
CNF
formula
Ψ
, does it have a satisfying truth assignment?
Graph View
Backlinks
3-SAT Problem
Poly-Time Reductions