Return to Article Details Bridging the Gap between Abstractions and Critical-Path Heuristics via Hypergraphs Download Download PDF