45 citations · 135 across the 4 of their papers we have counts for
Showing cs.ETShow all
2 papers · 1 filter
cs.ET2020★ 45 cited
Efficient Solution of Boolean Satisfiability Problems with Digital MemComputing
S. R. B. Bearden, Y. R. Pei, M. Di Ventra
Boolean satisfiability is a propositional logic problem of interest in multiple fields, e.g., physics, mathematics, and computer science. Beyond a field of research, instances of t…
cs.ET2017★ 33 cited
Instantons in self-organizing logic gates
Sean R. B. Bearden, Haik Manukian, Fabio L. Traversa +1
Self-organizing logic is a recently-suggested framework that allows the solution of Boolean truth tables "in reverse," i.e., it is able to satisfy the logical proposition of gates…