Short proofs are narrow—resolution made simple
By Eli Ben-Sasson, Avi Wigderson. JACM, 2001
575 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computational Theory and Mathematics
View Paper: https://www.semanticscholar.org/paper/fff7c053f5bdbce2bfc8cd3eb233cdfbf75c3d4c
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Clark W. Barrett
- Sanjit A. Seshia
- Cesare Tinelli
- Roberto Sebastiani
- Tim King
- Vaishak Belle
- Guy Van den Broeck
- Andrea Passerini
In Computational Theory and Mathematics
- Clark W. Barrett
- Cesare Tinelli
- Sanjit A. Seshia
- Roberto Sebastiani
- Tim King
- Leonardo de Moura
- David L. Dill
- Matti Järvisalo
Citations in the corpus
- Handbook of Satisfiability (2021, methodology): “Then the main result of (34) is the following lower bound:”