Search for persons
X
?
2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS) ,
9
Compressing CFI Graphs and Lower Bounds for the Weisfeiler-..:
, In:
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
11
Choiceless Polynomial Time with Witnessed Symmetric Choice:
, In:
?
Proceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms ,
15