EurekAlert!

DVRE: dominator-based variables reduction of encoding for model-based diagnosis

DVRE cuts MaxSAT encoding size offline and clauses online, delivering the fastest complete MBD on ISCAS-85 for both single- ...