海量图书期刊资源，随时随地畅享阅读乐趣
The Minimum Satisfiability ProblemKohli, Rajeev; Krishnamurti, Ramesh; Mirchandani, Prakash · SIAM Journal on Discrete Mathematics · 1994