A Characterisation of First-Order Constraint Satisfaction Problems

Benoit Larose, Cynthia Loten, Claude Tardif. A Characterisation of First-Order Constraint Satisfaction Problems. In 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings. pages 201-210, IEEE Computer Society, 2006. [doi]

Authors

Benoit Larose

This author has not been identified. Look up 'Benoit Larose' in Google

Cynthia Loten

This author has not been identified. Look up 'Cynthia Loten' in Google

Claude Tardif

This author has not been identified. Look up 'Claude Tardif' in Google