Procedural Reasoning in Constraint Satisfaction.

Ari K. Jnsson, Matthew L. Ginsberg

Browse the full KR paper archive.