11 search results - page 3 / 3 » Composition of Post classes and normal forms of Boolean func... |
CIE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The input to a constraint satisfaction problem (CSP) consists of a set of variables, each with a domain, and constraints between these variables formulated by relations o...