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

The explanation of infeasibilities formed in Minimal Unsatisfiable Subformulas (MUSes) is a core task in the analysis of over-constrained Boolean formulas. A wide range of applications necessitate MUS detection including knowledge-based validation, software design, verification and error diagnosis i...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of ambient intelligence and humanized computing Jg. 13; H. 7; S. 3693 - 3711
Hauptverfasser:	Gaber, Lamya, Hussein, Aziza I., Mahmoud, Hanafy, Mabrook, M. Mourad, Moness, Mohammed
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer Berlin Heidelberg 01.07.2022 Springer Nature B.V
Schlagworte:	Algorithms Artificial Intelligence Benchmarks Boolean Canonical forms Central processing units Circuit design Circuits Computation Computational Intelligence CPUs Debugging Design Designers Digital electronics Engineering Graphics processing units Integrated circuits Machine learning Original Research Robotics and Automation Silicon Solvers User Interfaces and Human Computer Interaction Minimal unsatisfiable subsets Boolean satisfiability problem Conjunction normal form GPU Minimal correction subsets SAT solving
ISSN:	1868-5137, 1868-5145
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!