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

An Irrelevancy-Eliminating Translation of Pure Type Systems.

Nathan Mull

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

2020

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

Nathan Mull, Shuo Pang, Alexander A. Razborov

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

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