Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method.

Thomas Mailund, Michael Westergaard

Browse the full TACAS paper archive.