TY - RPRT TI - Boolean Satisfiability using Noise Based Logic AU - Pey-Chang Kent Lin AU - Ayan Mandal AU - Sunil P Khatri PY - 2011 UR - https://arxiv.org/abs/1110.0550 ID - 1110.0550 ER -