Formulas with Large Weight: a New Technique for Genuine QBF Lower Bounds. - Citegraph

Paper Info

Title
Formulas with Large Weight: a New Technique for Genuine QBF Lower Bounds.

Year	Venue	DocType
2017	Electronic Colloquium on Computational Complexity (ECCC)	Journal
Volume	Citations	PageRank
24	0	0.34
References	Authors
0	2

Authors (2 rows)

Cited by (0 rows)

References (0 rows)

Name	Order	Citations	PageRank
Olaf Beyersdorff	1	223	30.33
Joshua Blinkhorn	2	3	6.16

1