Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Daniel P. Kennedy
Sebastien Bilavarn
Barbara Aquilani
Jane M. Lawrence-Dewar
H. H. Yap
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Paper
/
Finding the Hardest Formulas for Resolution (Extended Abstract).
Paper Info
Open Visualization
Title
Finding the Hardest Formulas for Resolution (Extended Abstract).
Year
DOI
Venue
2021
10.24963/ijcai.2021/657
IJCAI
DocType
Citations
PageRank
Conference
0
0.34
References
Authors
0
2
Authors (2 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Tomás Peitl
1
6
4.82
Stefan Szeider
2
1341
99.97
1
