Concepedia

Computation of minimal unsatisfiable subformulas for SAT-based digital circuit error diagnosis

Lamya Gaber, Aziza I. Hussein, Hanafy Mahmoud, M. Mourad Mabrook, Mohammed Moness

Journal of Ambient Intelligence and Humanized Computing · 2020 · 15 citations · 20 references

DOI

Concepts

References

20

The Sat4j library, release 2.2

Daniel Le Berre, Anne Parrain · Journal on Satisfiability Boolean Modeling and Computation · 2010 · 429 citations · Full text

, , +12

Fast, flexible MUS enumeration

Mark H. Liffiton, Alessandro Previti, Ammar Malik et al. · Constraints · 2015 · 131 citations

, , +7

Automated Design Debugging With Maximum Satisfiability

Yibin Chen, Sean Safarpour, João Marques‐Silva et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2010 · 83 citations

, , +13

On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability

Igor Konnov, Helmut Veith, Josef Widder · Information and Computation · 2016 · 47 citations · Full text

, , +14

Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT

Zhendong Lei, Shaowei Cai · 2018 · 46 citations · Full text

, , +6