Application of Probabilistic Spin Logic (PSL) in Detecting Satisfiability of a Boolean Function | IEEE Conference Publication | IEEE Xplore