Not all tickets are equal and we know it: Guiding pruning with domain-specific knowledge

Open in new window