Abstract: Propositional satisfiability problem (SAT) is represented in a conjunctive normal form with multiple clauses, which is an important non-deterministic polynomial-time (NP) complete problem ...
Abstract: Accurate power system observability relies on the optimal phasor measurement unit (PMU) placement to minimize costs while ensuring complete state observability. However, modeling the effect ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results