Arie Matsliah

According to our database, Arie Matsliah authored at least 30 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of two.

2013

Nearly Tight Bounds for Testing Function Isomorphism.

Noga Alon, Eric Blais, Sourav Chakraborty, David García-Soriano, Arie Matsliah

SIAM J. Comput., 2013

The non-adaptive query complexity of testing k-parities.

Harry Buhrman, David García-Soriano, Arie Matsliah, Ronald de Wolf

Chic. J. Theor. Comput. Sci., 2013

Using cross-entropy for satisfiability.

Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

On the power of conditional samples in distribution testing.

Sourav Chakraborty, Eldar Fischer, Yonatan Goldhirsh, Arie Matsliah

Proceedings of the Innovations in Theoretical Computer Science, 2013

2012

Augmenting Clause Learning with Implied Literals - (Poster Presentation).

Arie Matsliah, Ashish Sabharwal, Horst Samulowitz

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Perfect Hashing and CNF Encodings of Cardinality Constraints.

Yael Ben-Haim, Alexander Ivrii, Oded Margalit, Arie Matsliah

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

On Efficient Computation of Variable MUSes.

Anton Belov, Alexander Ivrii, Arie Matsliah, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Computing Interpolants without Proofs.

Hana Chockler, Alexander Ivrii, Arie Matsliah

Proceedings of the Hardware and Software: Verification and Testing, 2012

IC3-guided abstraction.

Jason Baumgartner, Alexander Ivrii, Arie Matsliah, Hari Mony

Proceedings of the Formal Methods in Computer-Aided Design, 2012

Relating Proof Complexity Measures and Practical Hardness of SAT.

Matti Järvisalo, Arie Matsliah, Jakob Nordström, Stanislav Zivný

Proceedings of the Principles and Practice of Constraint Programming, 2012

Junto-Symmetric Functions, Hypergraph Isomorphism and Crunching.

Sourav Chakraborty, Eldar Fischer, David García-Soriano, Arie Matsliah

Proceedings of the 27th Conference on Computational Complexity, 2012

2011

Hardness and algorithms for rainbow connection.

Sourav Chakraborty, Eldar Fischer, Arie Matsliah, Raphael Yuster

J. Comb. Optim., 2011

Nearly Tight Bounds for Testing Function Isomorphism.

Sourav Chakraborty, David García-Soriano, Arie Matsliah

Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, 2011

Cycle Detection, Order Finding and Discrete Log with Jumps.

Sourav Chakraborty, David García-Soriano, Arie Matsliah

Proceedings of the Innovations in Computer Science, 2011

Query Complexity Lower Bounds for Reconstruction of Codes.

Sourav Chakraborty, Eldar Fischer, Arie Matsliah

Proceedings of the Innovations in Computer Science, 2011

Detecting and exploiting near-sortedness for efficient relational query evaluation.

Sagi Ben-Moshe, Yaron Kanza, Eldar Fischer, Arie Matsliah, Mani Fischer, Carl Staelin

Proceedings of the Database Theory, 2011

Efficient Sample Extractors for Juntas with Applications.

Sourav Chakraborty, David García-Soriano, Arie Matsliah

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

Incremental formal verification of hardware.

Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2010

Underapproximation for model-checking based on universal circuits.

Arie Matsliah, Ofer Strichman

Inf. Comput., 2010

New Results on Quantum Property Testing.

Sourav Chakraborty, Eldar Fischer, Arie Matsliah, Ronald de Wolf

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

Monotonicity Testing and Shortest-Path Routing on the Cube.

Jop Briët, Sourav Chakraborty, David García-Soriano, Arie Matsliah

Proceedings of the Approximation, 2010

2009

Hardness and Algorithms for Rainbow Connectivity.

Sourav Chakraborty, Eldar Fischer, Arie Matsliah, Raphael Yuster

Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, 2009

Learning Parities in the Mistake-Bound model.

Harry Buhrman, David García-Soriano, Arie Matsliah

Proceedings of the Algebraic Methods in Computational Complexity, 11.10. - 16.10.2009, 2009

2008

Property testing and combinatorial approximation.

Arie Matsliah

PhD thesis, 2008

Sound 3-Query PCPPs Are Long.

Eli Ben-Sasson, Prahladh Harsha, Oded Lachish, Arie Matsliah

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

On the Query Complexity of Testing Orientations for Being Eulerian.

Eldar Fischer, Oded Lachish, Ilan Newman, Arie Matsliah, Orly Yahalom

Proceedings of the Approximation, 2008

2007

Approximate Hypergraph Partitioning and Applications.

Eldar Fischer, Arie Matsliah, Asaf Shapira

Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science, 2007

Underapproximation for Model-Checking Based on Random Cryptographic Constructions.

Arie Matsliah, Ofer Strichman

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Testing <i>st</i> -Connectivity.

Sourav Chakraborty, Eldar Fischer, Oded Lachish, Arie Matsliah, Ilan Newman

Proceedings of the Approximation, 2007

2006

Testing graph isomorphism.

Eldar Fischer, Arie Matsliah

Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2006