TY  - RPRT
TI  - The complete set of minimal simple graphs that support unsatisfiable 2-CNFs
AU  - Vaibhav Karve
AU  - Anil N. Hirani
PY  - 2019
UR  - https://arxiv.org/abs/1812.10849
ID  - 1812.10849
ER  -