Compiling rules from constraint satisfaction problem solving

Suresh Subramanian, Eugene C. Freuder. Compiling rules from constraint satisfaction problem solving. SIGART Bulletin, 108:177-178, 1989. [doi]

Abstract

Abstract is missing.