A Characterisation of First-Order Constraint Satisfaction Problems

Benoit Larose, Cynthia Loten, Claude Tardif. A Characterisation of First-Order Constraint Satisfaction Problems. Logical Methods in Computer Science, 3(4), 2007. [doi]

Abstract

Abstract is missing.