Compact Crossbar Variable Binding for Neuro-Symbolic Computation

[1]  Antony Browne,et al.  Connectionist variable binding , 1999, Expert Syst. J. Knowl. Eng..

[2]  Dana H. Ballard,et al.  Parallel Logical Inference and Energy Minimization , 1986, AAAI.

[3]  Armin Biere,et al.  Bounded Model Checking Using Satisfiability Solving , 2001, Formal Methods Syst. Des..