TY - RPRT TI - Tensor Network Contractions for #SAT AU - Jacob D. Biamonte AU - Jason Morton AU - Jacob W. Turner PY - 2014 DO - 10.1007/s10955-015-1276-z UR - https://arxiv.org/abs/1405.7375 ID - 1405.7375 ER -