Neural Net and Boolean Satisfiability Models of Logic Circuits
IEEE Design & Test
A Hybrid Neural Network Model for Solving Optimization Problems
IEEE Transactions on Computers
Convergence Properties of Optimization Algorithms for the SAT Problem
IEEE Transactions on Computers
Global Optimization for Satisfiability (SAT) Problem
IEEE Transactions on Knowledge and Data Engineering
An empirical study of greedy local search for satisfiability testing
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
| Hi-index | 0.01 |