Evaluating the Claims of "SAT Requires Exhaustive Search". - Michael C. Chavrimootoo; Yumeng He; Matan Kotler-Berkowitz; Harry Liuson; Zeyu Nie (CoRR, 2023)

A Critique of Du's "A Polynomial-Time Algorithm for 3-SAT. - Yumeng He; Matan Kotler-Berkowitz; Harry Liuson; Zeyu Nie (CoRR, 2024)