publication venue for Reachability problems in interval-constrained and cardinality-constrained graphs 2023