Constraint Satisfaction, Logic and Forbidden Patterns

Florent R. Madelaine, Iain A. Stewart. Constraint Satisfaction, Logic and Forbidden Patterns. SIAM Journal on Computing, 37(1):132-163, 2007. [doi]

Authors

Florent R. Madelaine

This author has not been identified. Look up 'Florent R. Madelaine' in Google

Iain A. Stewart

This author has not been identified. Look up 'Iain A. Stewart' in Google