1 paper
Michael C. Chavrimootoo, Henry B. Welles
In this paper, we analyze the argument made by Kumar in the technical report "Necessary and Sufficient Condition for Satisfiability of a Boolean Formula in CNF and Its Implications…