Search for persons
X
?
Proceedings of the 28th Annual ACM Symposium on Applied Computing ,
5
Using cross-entropy for satisfiability:
, In:
?
Proceedings of the 4th conference on Innovations in Theoretical Computer Science ,
7
On the power of conditional samples in distribution testing:
, In:
?
Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete algorithms ,
11
Nearly tight bounds for testing function isomorphism:
, In:
?
Proceedings of the 14th International Conference on Database Theory ,
12
Detecting and exploiting near-sortedness for efficient rela..:
, In:
?
Proceedings of the International Conference on Formal Methods in Computer-Aided Design ,
13