Explore index

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.