Open AccessSatisfiability techniques for computing minimal tie sets in reliability assessment
Author(s) -
Duroeulx, Margaux,
Brinzei, Nicolae,
Duflot, Marie,
Merz, Stephan
Publication year - 2017
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - satisfiability , computer science , reliability (semiconductor) , algorithm , theoretical computer science , reliability engineering , engineering , power (physics) , physics , quantum mechanics