conftrace_

minimal diagnosis

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

model-based diagnosis (2) sequential circuit (1) diagnosis algorithm (1) cnf encoding (1) fault localization (1) conjunctive normal form (1) automated testing (1) sat solver (1) satisfiability solving (1)

Papers

Efficient Model-Based Diagnosis of Sequential Circuits AAAI 2020 Model-Based Diagnosis with Multiple Observations IJCAI 2019