Florent R. Madelaine, Iain A. Stewart. Constraint Satisfaction, Logic and Forbidden Patterns. SIAM Journal on Computing, 37(1):132-163, 2007. [doi]
@article{MadelaineS07, title = {Constraint Satisfaction, Logic and Forbidden Patterns}, author = {Florent R. Madelaine and Iain A. Stewart}, year = {2007}, doi = {10.1137/050634840}, url = {http://dx.doi.org/10.1137/050634840}, tags = {constraints, logic}, researchr = {https://researchr.org/publication/MadelaineS07}, cites = {0}, citedby = {0}, journal = {SIAM Journal on Computing}, volume = {37}, number = {1}, pages = {132-163}, }