~/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 Dec 19, 2025modified Dec 19, 20251 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 © 2025

GitHub
LinkedIn
Twitter