Automated Formulation of Constraint Satisfaction Problems

Mihaela Sabin, Eugene C. Freuder. Automated Formulation of Constraint Satisfaction Problems. In AAAI/IAAI, Vol. 1. pages 1407-1407, 1996.

Abstract

Abstract is missing.