Personensuche
X
?
2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS) ,
1
On small-depth Frege proofs for PHP:
, In:
?
2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS) ,
3
On Bounded Depth Proofs for Tseitin Formulas on the Grid; R..:
, In:
?
Proceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms ,
4
Optimal inapproximability with universal factor graphs:
, In:
?
Proceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms ,
5
Explicit two-deletion codes with redundancy matching the ex..:
, In:
?
Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA) ,
6
Optimal Inapproximability with Universal Factor Graphs:
, In:
?
Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA) ,
7