25821
Schaefer 's dichotomy theorem states that , for any restriction to Boolean operators that can be used to form these subformulae , the corresponding satisfiability problem is in P or NP-complete .
 Boolean
Please list all entity words in the text that fit the category. Output format is "word1, word2". 
Option: location, person, organization 
Text: {0} 
Answer:
 Boolean