#### Filter Results:

#### Publication Year

1995

2010

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

SUMMARY We have proposed a neural network called the La-grange programming neural network with polarized high-order connections (LPPH) for solving the satisfiability problem (SAT) of propositional calculus. The LPPH has gradient descent dynamics for variables and gradient ascent dynamics for Lagrange multipliers, which represent the weights of the clauses… (More)