Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Zhong-Rong Hsieh
Daniel P. Kennedy
Jaime Gómez García-Bermejo
Roland Zumkeller
Maximilian Dürr
Shutao Li
Dan Graur
Liangliang Shang
Chen Ma
Barbara Aquilani
Home
/
Author
/
PAVEL PUDLÁK
Author Info
Open Visualization
Name
Affiliation
Papers
PAVEL PUDLÁK
Institute of Mathematics of the Czech Academy of Sciences, Czech Republic
1
Collaborators
Citations
PageRank
3
0
0.34
Referers
Referees
References
0
0
0
Publications (1 rows)
Collaborators (3 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Beating Brute Force for (Quantified) Satisfiability of Circuits of Bounded Treewidth.
0
0.34
2018
1