Pages that link to "Schaefer's dichotomy theorem"
From HandWiki
The following pages link to Schaefer's dichotomy theorem:
Displayed 7 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Sharp-SAT (← links)
- Boolean satisfiability problem (← links)
- Complexity of constraint satisfaction (← links)
- Constraint satisfaction problem (← links)
- NP-intermediate (← links)
- Not-all-equal 3-satisfiability (← links)
- Biography:Thomas Jerome Schaefer (← links)