sat-problem

Auto-created stub for singleton broken link [[sat-problem]] — referenced once and was missing. Keeps graph connected per AGENTS.md:199.

Per Wikipedia: “To be written.”

Stub — fill with plain language explanation of sat problem.

1. To be written.
2. To be written.
3. To be written.
4. To be written.

• To be written.

• Related: Index — auto stub for singleton [[sat-problem]] from wiki/theory-of-computation/p-vs-np-problem.md

• To be written.
• To be written.