Arie Matsliah
Arie Matsliah
Dirección de correo verificada de google.com - Página principal
Título
Citado por
Citado por
Año
Hardness and algorithms for rainbow connection
S Chakraborty, E Fischer, A Matsliah, R Yuster
Journal of Combinatorial Optimization 21 (3), 330-347, 2011
2262011
Incremental formal verification of hardware
H Chockler, A Ivrii, A Matsliah, S Moran, Z Nevo
2011 Formal Methods in Computer-Aided Design (FMCAD), 135-143, 2011
722011
Monotonicity testing and shortest-path routing on the cube
J Briët, S Chakraborty, D García-Soriano, A Matsliah
Combinatorica 32 (1), 35-53, 2012
612012
Testing graph isomorphism
E Fischer, A Matsliah
SIAM Journal on Computing 38 (1), 207-225, 2008
542008
Relating proof complexity measures and practical hardness of SAT
M Järvisalo, A Matsliah, J Nordström, S Živný
International Conference on Principles and Practice of Constraint …, 2012
442012
On the power of conditional samples in distribution testing
S Chakraborty, E Fischer, Y Goldhirsh, A Matsliah
SIAM Journal on Computing 45 (4), 1261-1296, 2016
422016
The non-adaptive query complexity of testing k-parities
H Buhrman, D García-Soriano, A Matsliah, R de Wolf
arXiv preprint arXiv:1209.3849, 2012
352012
Nearly tight bounds for testing function isomorphism
S Chakraborty, D García-Soriano, A Matsliah
Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete …, 2011
322011
Efficient sample extractors for juntas with applications
S Chakraborty, D García-Soriano, A Matsliah
International Colloquium on Automata, Languages, and Programming, 545-556, 2011
302011
Perfect hashing and CNF encodings of cardinality constraints
Y Ben-Haim, A Ivrii, O Margalit, A Matsliah
International Conference on Theory and Applications of Satisfiability …, 2012
262012
New results on quantum property testing
S Chakraborty, E Fischer, A Matsliah, R De Wolf
arXiv preprint arXiv:1005.0523, 2010
252010
Approximate hypergraph partitioning and applications
E Fischer, A Matsliah, A Shapira
48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07), 579-589, 2007
242007
Computing interpolants without proofs
H Chockler, A Ivrii, A Matsliah
Haifa verification conference, 72-85, 2012
212012
Junto-symmetric functions, hypergraph isomorphism and crunching
S Chakraborty, E Fischer, D GacíaSoriano, A Matsliah
2012 IEEE 27th Conference on Computational Complexity, 148-158, 2012
212012
Testing st-Connectivity
S Chakraborty, E Fischer, O Lachish, A Matsliah, I Newman
Approximation, Randomization, and Combinatorial Optimization. Algorithms and …, 2007
202007
Detecting and exploiting near-sortedness for efficient relational query evaluation
S Ben-Moshe, Y Kanza, E Fischer, A Matsliah, M Fischer, C Staelin
Proceedings of the 14th International Conference on Database Theory, 256-267, 2011
192011
Sound 3-query PCPPs are long
E Ben-Sasson, P Harsha, O Lachish, A Matsliah
ACM Transactions on Computation Theory (TOCT) 1 (2), 1-49, 2009
162009
Approximate hypergraph partitioning and applications
E Fischer, A Matsliah, A Shapira
SIAM Journal on Computing 39 (7), 3155-3185, 2010
152010
On the query complexity of testing orientations for being Eulerian
E Fischer, O Lachish, I Newman, A Matsliah, O Yahalom
Approximation, Randomization and Combinatorial Optimization. Algorithms and …, 2008
142008
Nearly tight bounds for testing function isomorphism
N Alon, E Blais, S Chakraborty, D García-Soriano, A Matsliah
SIAM Journal on Computing 42 (2), 459-493, 2013
132013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20