Matsliah, Arie
37  results:
Search for persons X
?
5

Using cross-entropy for satisfiability:

, In: Proceedings of the 28th Annual ACM Symposium on Applied Computing,
Chockler, Hana ; Ivrii, Alexander ; Matsliah, Arie.. - p. 1196-1203 , 2013
 
?
6

Nearly Tight Bounds for Testing Function Isomorphism:

Alon, Noga ; Blais, Eric ; Chakraborty, Sourav..
SIAM Journal on Computing.  42 (2013)  2 - p. 459-493 , 2013
 
?
7

On the power of conditional samples in distribution testing:

, In: Proceedings of the 4th conference on Innovations in Theoretical Computer Science,
 
?
9

On the query complexity of testing orientations for being E..:

Fischer, Eldar ; Lachish, Oded ; Matsliah, Arie..
ACM Transactions on Algorithms (TALG).  8 (2012)  2 - p. 1-41 , 2012
 
?
 
?
11

Nearly tight bounds for testing function isomorphism:

, In: Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete algorithms,
 
?
12

Detecting and exploiting near-sortedness for efficient rela..:

, In: Proceedings of the 14th International Conference on Database Theory,
Ben-Moshe, Sagi ; Kanza, Yaron ; Fischer, Eldar... - p. 256-267 , 2011
 
?
13

Incremental formal verification of hardware:

, In: Proceedings of the International Conference on Formal Methods in Computer-Aided Design,
Chockler, Hana ; Ivrii, Alexander ; Matsliah, Arie.. - p. 135-143 , 2011
 
?
14

Approximate Hypergraph Partitioning and Applications:

Fischer, Eldar ; Matsliah, Arie ; Shapira, Asaf
SIAM Journal on Computing.  39 (2010)  7 - p. 3155-3185 , 2010
 
?
15

Learning parities in the mistake-bound model:

Buhrman, Harry ; García-Soriano, David ; Matsliah, Arie
Information Processing Letters.  111 (2010)  1 - p. 16-21 , 2010
 
1-15