A neural circuit for the maximum 2-satisfiability problem | IEEE Conference Publication | IEEE Xplore