A Neural Circuit for the Maximum 2-Satisfiability Problem
M.A. Alberti, A. Bertoni, P. Campadelli, G. Grossi, R. Posenato
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 \mu s with relative error less than 0.003.
luglio 94, M.A.Alberti,
alberti@dsi.unimi.it