The complete set of minimal simple graphs that support unsatisfiable 2-CNFs.

Vaibhav Karve Anil N. Hirani

Published in: CoRR (2018)

Keyphrases

social networks
directed graph
small number
knowledge management
probability distribution
unsatisfiable cores