Source: wikibot/schaefer-s-dichotomy-theorem

= Schaefer's dichotomy theorem
{wiki=Schaefer's_dichotomy_theorem}