arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Robert Robere"" — arXiv2 Search
Showing 1–2 of 2 results
/ Date
/ Name
Jan 7, 2020
Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity
Mar 7, 2017
Random CNFs are Hard for Cutting Planes