@misc{indiciae86ecd87ced0e,
  title = {MaxSAT Evaluation 2019 -- Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs},
  author = {Martín Barrère and Chris Hankin and Nicolas Nicolau and Demetrios G. Eliades and Thomas Parisini},
  year = {2019},
  url = {https://arxiv.org/abs/1911.00516},
  note = {Source identifier: 1911.00516}
}