Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Daniel P. Kennedy
Barbara Aquilani
U de Lichtenberg
Maximilian Dürr
Mitsuru Nomura
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Yinlai Jiang
Home
/
Author
/
JANNE I. KOKKALA
Author Info
Open Visualization
Name
Affiliation
Papers
JANNE I. KOKKALA
Lund University,Lund,Sweden.
1
Collaborators
Citations
PageRank
1
0
0.34
Referers
Referees
References
0
0
0
Publications (1 rows)
Collaborators (1 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Using Resolution Proofs to Analyse CDCL Solvers.
0
0.34
2020
1