TY  - RPRT
TI  - GraphSAT -- a decision problem connecting satisfiability and graph theory
AU  - Vaibhav Karve
AU  - Anil N. Hirani
PY  - 2021
UR  - https://arxiv.org/abs/2105.11390
ID  - 2105.11390
ER  -