Enumeration of s-d Separators in DAGs with Application to Reliability Analysis in Temporal Graphs

Alessio Conte, Pierluigi Crescenzi, Andrea Marino, Giulia Punzi. Enumeration of s-d Separators in DAGs with Application to Reliability Analysis in Temporal Graphs. In Javier Esparza, Daniel Král', editors, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic. Volume 170 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

@inproceedings{ConteCMP20,
  title = {Enumeration of s-d Separators in DAGs with Application to Reliability Analysis in Temporal Graphs},
  author = {Alessio Conte and Pierluigi Crescenzi and Andrea Marino and Giulia Punzi},
  year = {2020},
  doi = {10.4230/LIPIcs.MFCS.2020.25},
  url = {https://doi.org/10.4230/LIPIcs.MFCS.2020.25},
  researchr = {https://researchr.org/publication/ConteCMP20},
  cites = {0},
  citedby = {0},
  booktitle = {45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic},
  editor = {Javier Esparza and Daniel Král'},
  volume = {170},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  isbn = {978-3-95977-159-7},
}