Return to Article Details Workflow Discovery with Semantic Constraints: The SAT-Based Implementation of APE Download Download PDF