Harry Liuson

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Computationally Feasible

Dynamic Programming

Exhaustive Search

Top Venues

Publications

Yumeng He, Matan Kotler-Berkowitz, Harry Liuson, Zeyu Nie
A Critique of Du's "A Polynomial-Time Algorithm for 3-SAT. CoRR (2024)
Michael C. Chavrimootoo, Yumeng He, Matan Kotler-Berkowitz, Harry Liuson, Zeyu Nie
Evaluating the Claims of "SAT Requires Exhaustive Search". CoRR (2023)