Satisfiability techniques for computing minimal tie sets in reliability assessment