Minimal Unsatisfiability and Minimal Strongly Connected Digraphs.

Hoda Abbasizanjani Oliver Kullmann

Published in: SAT (2018)

Keyphrases

strongly connected
directed graph
data sets
learning algorithm
case study
pattern classification
search algorithm