A Neural Algorithm for MAX-2SAT: Performance Analysis and Circuit Implementation