6 search results - page 2 / 2 » Constraint Satisfaction with Countable Homogeneous Templates |
CORR
2010
Springer
13 years 2 months ago
2010
Springer
Schaefer's theorem is a complexity classification result for so-called Boolean constraint satisfaction problems: it states that every Boolean constraint satisfaction problem ...