Title :
A neural circuit for the maximum 2-satisfiability problem
Author :
Alberti, M.A. ; Bertoni, A. ; Campadelli, P. ; Grossi, G. ; Posenato, R.
Author_Institution :
Dipartimento di Sci. dell´´Inf., Milan Univ., Italy
Abstract :
In this paper we discuss a uniform family of circuits, realizing neural networks to solve approximately the maximum 2-satisfiability problem. An implementation on FPGA for the problem instances of 16 variables and 480 clauses is presented. The circuit shows a good performance solving problem instances in 20 μs with relative error less than 0.003
Keywords :
computability; neural nets; 2-satisfiability problem; FPGA; maximum 2-satisfiability; neural circuit; neural networks; Approximation algorithms; Circuits; Expert systems; Field programmable gate arrays; Hopfield neural networks; Neural networks; Polynomials;
Conference_Titel :
Parallel and Distributed Processing, 1995. Proceedings. Euromicro Workshop on
Conference_Location :
San Remo
Print_ISBN :
0-8186-7031-2
DOI :
10.1109/EMPDP.1995.389192
