3-satisfiability problem
Also known as 3-SAT, 3CNFSAT, 3-satisfiability, 3SAT
REDIRECT Boolean satisfiability problem#3-satisfiability
Article
REDIRECT Boolean satisfiability problem#3-satisfiability
Also known as 3-SAT, 3CNFSAT, 3-satisfiability, 3SAT
REDIRECT Boolean satisfiability problem#3-satisfiability
REDIRECT Boolean satisfiability problem#3-satisfiability
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).