MaxSAT Evaluation 2020 - Benchmark: Identifying maximum probability minimal cut sets in fault trees
File(s)Benchmark-MSE20--Barrere-Hankin.pdf (281.27 KB)
Accepted version
Author(s)
Barrere Cambrun, Martin
Hankin, Chris
Type
Conference Paper
Abstract
This paper presents a MaxSAT benchmark focused on the identification of Maximum Probability Minimal Cut Sets (MPMCSs) in fault trees. We address the MPMCS problem by transforming the input fault tree into a weighted logical formula that is then used to build and solve a Weighted Partial MaxSAT problem. The benchmark includes 80 cases with fault trees of different size and composition as well as the optimal cost and solution for each case.
Editor(s)
Bacchus, Fahiem
Berg, Jeremias
Järvisalo, Matti
Martins, Rubens
Date Issued
2020-08-20
Date Acceptance
2020-07-03
Citation
MaxSAT Evaluation 2020: Solver and Benchmark Descriptions, 2020
Publisher
University of Helsinki, Department of Computer Science
Journal / Book Title
MaxSAT Evaluation 2020: Solver and Benchmark Descriptions
Copyright Statement
© 2020 The Author(s)
Sponsor
Horizon2020
Identifier
https://www.imperial.ac.uk/people/m.barrere
Grant Number
Project ID: 739551
Source
MaxSAT Evaluation 2020 (affiliated with SAT 2020)
Subjects
MaxSAT
Benchmark
Fault Trees
Fault Tree Analysis
Reliability
Cyber-Physical Security
Dependability
Publication Status
Published
Start Date
2020-07-03
Finish Date
2020-07-10
Coverage Spatial
Alghero, Italy (Virtual in 2020)
Date Publish Online
2020-08-20