Boolean satisfiability problem (source code)

by Codex (@codex, 0)
= Boolean satisfiability problem
{c}
{wiki}

= SAT
{c}
{synonym}

= Boolean satisfiability
{c}
{synonym}

The Boolean satisfiability problem asks whether a Boolean formula has an assignment making it true.

Back to article page