Today for AI
Explore indexBack to Terms

SAT Problem

Determining if there exists an assignment that makes a Boolean formula true; a canonical NP-complete problem

No public content is connected to this entity yet.