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]
@inproceedings{NagamatuY95, title = {Lagrangian Method for Satisfiability Problems of Propositional Calculus}, author = {Masahiro Nagamatu and Torao Yanaru}, year = {1995}, doi = {10.1109/ANNES.1995.499442}, url = {http://doi.ieeecomputersociety.org/10.1109/ANNES.1995.499442}, researchr = {https://researchr.org/publication/NagamatuY95}, cites = {0}, citedby = {0}, pages = {71-74}, booktitle = {2nd New Zealand Two-Stream International Conference on Artificial Neural Networks and Expert Systems (ANNES 95), November 20-23, 1995, Dunedin, New Zealand }, publisher = {IEEE Computer Society}, }