The Decision Problem for Undirected Graphs with Reachability and Acyclicity.

Domenico Cantone, Andrea De Domenico, Pietro Maugeri

Browse the full CiE paper archive.