Source: wikibot/boolean-satisfiability-problem

= Boolean satisfiability problem
{wiki=Boolean_satisfiability_problem}