Masahiro Nagamatu, Torao Yanaru. Lagrangian Method for Satisfiability Problems of Propositional Calculus. In 2nd New Zealand Two-Stream International Conference on Artificial Neural Networks and Expert Systems (ANNES 95), November 20-23, 1995, Dunedin, New Zealand . pages 71-74, IEEE Computer Society, 1995. [doi]
Abstract is missing.