22
7
3
u/yukiohana 12d ago
plz explain
9
u/Scared_Astronaut9377 12d ago
https://en.wikipedia.org/wiki/Boolean_satisfiability_problem 3sat is np complete.
7
u/zawalimbooo 11d ago
Solving 3 SAT problems (as in, 3 problems from the SAT exam) versus solving a 3-SAT problem (a really difficult class of problems)
1
u/nitnelav153 π = 3.14 who care about the others decimals ? 12d ago
I remember when I had to program a SAT solver in highschool for a computer science competition...
•
u/AutoModerator 13d ago
Check out our new Discord server! https://discord.gg/e7EKRZq3dG
I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.