Old Web
English
Sign In
Acemap
>
authorDetail
>
Shir Ben-Israel
Shir Ben-Israel
Local symmetry
Permutation
Discrete mathematics
Exponential growth
Combinatorics
1
Papers
2
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Breaking local symmetries can dramatically reduce the length of propositional refutations.
2010
Electronic Colloquium on Computational Complexity
Shir Ben-Israel
Eli Ben-Sasson
David R. Karger
Show All
Source
Cite
Save
Citations (2)
1