Nathan Mull

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 7

Top Topics

Community Structure

Randomly Generated

Top Venues

SIAM J. Comput.

Publications

Nathan Mull, Shuo Pang, Alexander A. Razborov
On CDCL-Based Proof Systems with the Ordered Decision Strategy. SIAM J. Comput. 51 (4) (2022)
Nathan Mull
An Irrelevancy-Eliminating Translation of Pure Type Systems. TYPES (2022)
Nathan Mull, Shuo Pang, Alexander A. Razborov
On CDCL-Based Proof Systems with the Ordered Decision Strategy. SIAM J. Comput. 51 (4) (2022)
Nathan Mull, Shuo Pang, Alexander A. Razborov
On CDCL-Based Proof Systems with the Ordered Decision Strategy. SAT (2020)
Nathan Mull, Shuo Pang, Alexander A. Razborov
On CDCL-based proof systems with the ordered decision strategy. CoRR (2019)
Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia
On the Hardness of SAT with Community Structure. CoRR (2016)
Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia
On the Hardness of SAT with Community Structure. SAT (2016)