TY  - RPRT
TI  - MaxSAT Evaluation 2019 -- Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs
AU  - Martín Barrère
AU  - Chris Hankin
AU  - Nicolas Nicolau
AU  - Demetrios G. Eliades
AU  - Thomas Parisini
PY  - 2019
UR  - https://arxiv.org/abs/1911.00516
ID  - 1911.00516
ER  -