~/leocamacho.co

Get Around

🧠 EdinburghAI
Co-founder and President of my University's AI Society
🛠️ Projects
Side projects I've worked on
📝 Essays
Thoughts on AI, startups, and the future

Contact Me

📧 Email
💼 LinkedIn
🐦 Twitter

Boolean Satisfiability Problem

Made Feb 07, 2026modified Feb 07, 20261 min read

What:

The most famous of NP Complete problems. Also known as SAT.

Graph View

Backlinks

NP Completeness

Created with Quartz v4.4.0 © 2026

GitHub
LinkedIn
Twitter