Generating two-terminal directed acyclic graphs with a given complexity index by constraint logic programming

From MaRDI portal