~/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 May 28, 2026modified May 28, 20261 min read

What:

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

Graph View

Backlinks

NP Completeness

Created with Quartz v4.5.2 © 2026

GitHub
LinkedIn
Twitter