TY  - RPRT
TI  - Efficient Solution of Boolean Satisfiability Problems with Digital MemComputing
AU  - S. R. B. Bearden
AU  - Y. R. Pei
AU  - M. Di Ventra
PY  - 2020
DO  - 10.1038/s41598-020-76666-2
UR  - https://arxiv.org/abs/2011.06551
ID  - 2011.06551
ER  -