Nathan Mull

According to our database, Nathan Mull authored at least 3 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

On CDCL-Based Proof Systems with the Ordered Decision Strategy.

Nathan Mull, Shuo Pang, Alexander A. Razborov

SIAM J. Comput., August, 2022

An Irrelevancy-Eliminating Translation of Pure Type Systems.

Nathan Mull

Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022

2016

On the Hardness of SAT with Community Structure.

Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016