Yoshihiro Tanaka. A Dual Algorithm for the Satisfiability Problem. Inf. Process. Lett., 37(2):85-89, 1991.
@article{Tanaka91:0, title = {A Dual Algorithm for the Satisfiability Problem}, author = {Yoshihiro Tanaka}, year = {1991}, researchr = {https://researchr.org/publication/Tanaka91%3A0}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {37}, number = {2}, pages = {85-89}, }