DFM: the data flow machine highly parallel symbol manipulation
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
An interpreter for large knowledge bases
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Convergence Properties of Optimization Algorithms for the SAT Problem
IEEE Transactions on Computers
| Hi-index | 4.10 |
First Page of the Article