Title
Short Proofs in QBF Expansion.
Year
DOI
Venue
2018
10.1007/978-3-030-24258-9_2
Electronic Colloquium on Computational Complexity (ECCC)
Field
DocType
Volume
Discrete mathematics,Mathematical proof,Calculus,Mathematics
Journal
25
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Olaf Beyersdorff122330.33
Leroy Chew2557.02
Judith Clymo301.01
Meena Mahajan468856.90