conftrace_

cnf encoding

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

diagnosis algorithm (1) sequential circuit (1) minimal diagnosis (1) conjunctive normal form (1) sat solver (1) satisfiability solving (1) model-based diagnosis (1)

Papers

Efficient Model-Based Diagnosis of Sequential Circuits AAAI 2020