Constraint Satisfaction, Logic and Forbidden Patterns
Madelaine, Florent; Stewart, Iain A.
- 期刊名称SIAM Journal on Computing
- 作者Madelaine, Florent; Stewart, Iain A.
- 卷第37卷
- 期第1期
- 印刷ISSN0097-5397
- 电子ISSN1095-7111
- 文件大小377.46KB
- 发表时间2007-01
- DOI10.1137/050634840
- 页码132-163