Rule compilation from constraint-based problem solving.

Suresh Subramanian, Eugene C. Freuder

Browse the full ICTAI paper archive.