Recognizing disguised NR(1) instances of the satisfiability problem

• 31 March 1980
• journal article
• Published by Elsevier in Journal of Algorithms
• Vol. 1  (1) , 97-103
• https://doi.org/10.1016/0196-6774(80)90007-3

Abstract

Keywords

• SATISFIABILITY