M.A. Alberti, Dipartimento di Sci. dell'Inf., Milan Univ., Italy
A. Bertoni, Dipartimento di Sci. dell'Inf., Milan Univ., Italy
P. Campadelli, Dipartimento di Sci. dell'Inf., Milan Univ., Italy
G. Grossi, Dipartimento di Sci. dell'Inf., Milan Univ., Italy
R. Posenato, Dipartimento di Sci. dell'Inf., Milan Univ., Italy
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 /spl mu/s with relative error less than 0.003.
Index Terms:
neural nets; computability; maximum 2-satisfiability; neural networks; FPGA; neural circuit; 2-satisfiability problem
Citation:
M.A. Alberti, A. Bertoni, P. Campadelli, G. Grossi, R. Posenato, "A neural circuit for the maximum 2-satisfiability problem," pdp, pp.319, 3rd Euromicro Workshop on Parallel and Distributed Processing, 1995