OpenAlex
Short proofs are narrow—resolution made simple
Work
Year: 1999
Type: article
Abstract: Article Free Access Share on Short proofs are narrow—resolution made simple Authors: Eli Ben-Sasson Institute of Computer Science, Hebrew University, Jerusalem, Israel Institute of Computer Science, H... more
Cites: 25
Cited by: 95
Related to: 10
FWCI: 11.01
Citation percentile (by year/subfield): 96.05
Open Access status: bronze