Arie Matsliah - RankMe

49 papers A* 4A 10B 2Misc 1Journal 23Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	AC$\oplus$DC search: behind the winning solution to the FlyWire graph-matching challenge. Trans. Mach. Learn. Res. Daniel D. Lee, Arie Matsliah, Lawrence K. Saul
2016	J	`jnl`	On the Power of Conditional Samples in Distribution Testing. SIAM J. Comput. Sourav Chakraborty, Eldar Fischer, Yonatan Goldhirsh, Arie Matsliah
2014	J	`jnl`	Query Complexity Lower Bounds for Reconstruction of Codes. Theory Comput. Sourav Chakraborty, Eldar Fischer, Arie Matsliah
2013	J	`jnl`	Nearly Tight Bounds for Testing Function Isomorphism. SIAM J. Comput. Noga Alon, Eric Blais, Sourav Chakraborty, David García-Soriano, Arie Matsliah
2013	A	`conf`	On the power of conditional samples in distribution testing. ITCS Sourav Chakraborty, Eldar Fischer, Yonatan Goldhirsh, Arie Matsliah
2013	J	`jnl`	The non-adaptive query complexity of testing k-parities. Chic. J. Theor. Comput. Sci. Harry Buhrman, David García-Soriano, Arie Matsliah, Ronald de Wolf
2013	Misc	`conf`	Using cross-entropy for satisfiability. SAC Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina
2012	A	`conf`	Augmenting Clause Learning with Implied Literals - (Poster Presentation). SAT Arie Matsliah, Ashish Sabharwal, Horst Samulowitz
2012	—	`conf`	Computing Interpolants without Proofs. Haifa Verification Conference Hana Chockler, Alexander Ivrii, Arie Matsliah
2012	B	`conf`	IC3-guided abstraction. FMCAD Jason Baumgartner, Alexander Ivrii, Arie Matsliah, Hari Mony
2012	A	`conf`	Junto-Symmetric Functions, Hypergraph Isomorphism and Crunching. CCC Sourav Chakraborty, Eldar Fischer, David García-Soriano, Arie Matsliah
2012	J	`jnl`	Monotonicity testing and shortest-path routing on the cube. Comb. Jop Briët, Sourav Chakraborty, David García-Soriano, Arie Matsliah
2012	A	`conf`	On Efficient Computation of Variable MUSes. SAT Anton Belov, Alexander Ivrii, Arie Matsliah, João Marques-Silva
2012	J	`jnl`	On the Power of Conditional Samples in Distribution Testing CoRR Sourav Chakraborty, Eldar Fischer, Yonatan Goldhirsh, Arie Matsliah
2012	J	`jnl`	On the Power of Conditional Samples in Distribution Testing. Electron. Colloquium Comput. Complex. Sourav Chakraborty, Eldar Fischer, Yonatan Goldhirsh, Arie Matsliah
2012	J	`jnl`	On the query complexity of testing orientations for being Eulerian. ACM Trans. Algorithms Eldar Fischer, Oded Lachish, Arie Matsliah, Ilan Newman, Orly Yahalom
2012	A	`conf`	Perfect Hashing and CNF Encodings of Cardinality Constraints. SAT Yael Ben-Haim, Alexander Ivrii, Oded Margalit, Arie Matsliah
2012	A	`conf`	Relating Proof Complexity Measures and Practical Hardness of SAT. CP Matti Järvisalo, Arie Matsliah, Jakob Nordström, Stanislav Zivný
2012	J	`jnl`	The non-adaptive query complexity of testing k-parities CoRR Harry Buhrman, David García-Soriano, Arie Matsliah, Ronald de Wolf
2011	A	`conf`	Cycle Detection, Order Finding and Discrete Log with Jumps. ICS Sourav Chakraborty, David García-Soriano, Arie Matsliah
2011	A	`conf`	Detecting and exploiting near-sortedness for efficient relational query evaluation. ICDT Sagi Ben-Moshe, Yaron Kanza, Eldar Fischer, Arie Matsliah, Mani Fischer, Carl Staelin
2011	—	`conf`	Efficient Sample Extractors for Juntas with Applications. ICALP (1) Sourav Chakraborty, David García-Soriano, Arie Matsliah
2011	J	`jnl`	Hardness and algorithms for rainbow connection. J. Comb. Optim. Sourav Chakraborty, Eldar Fischer, Arie Matsliah, Raphael Yuster
2011	B	`conf`	Incremental formal verification of hardware. FMCAD Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo
2011	A*	`conf`	Nearly Tight Bounds for Testing Function Isomorphism. SODA Sourav Chakraborty, David García-Soriano, Arie Matsliah
2011	A	`conf`	Query Complexity Lower Bounds for Reconstruction of Codes. ICS Sourav Chakraborty, Eldar Fischer, Arie Matsliah
2010	J	`jnl`	Approximate Hypergraph Partitioning and Applications. SIAM J. Comput. Eldar Fischer, Arie Matsliah, Asaf Shapira
2010	J	`jnl`	Learning parities in the mistake-bound model. Inf. Process. Lett. Harry Buhrman, David García-Soriano, Arie Matsliah
2010	—	`conf`	Monotonicity Testing and Shortest-Path Routing on the Cube. APPROX-RANDOM Jop Briët, Sourav Chakraborty, David García-Soriano, Arie Matsliah
2010	J	`jnl`	Monotonicity Testing and Shortest-Path Routing on the Cube. Electron. Colloquium Comput. Complex. David García-Soriano, Arie Matsliah, Sourav Chakraborty, Jop Briët
2010	J	`jnl`	Nearly Tight Bounds for Testing Function Isomorphism. Electron. Colloquium Comput. Complex. Sourav Chakraborty, David García-Soriano, Arie Matsliah
2010	J	`jnl`	New Results on Quantum Property Testing CoRR Sourav Chakraborty, Eldar Fischer, Arie Matsliah, Ronald de Wolf
2010	—	`conf`	New Results on Quantum Property Testing. FSTTCS Sourav Chakraborty, Eldar Fischer, Arie Matsliah, Ronald de Wolf
2010	J	`jnl`	Query Complexity Lower Bounds for Reconstruction of Codes. Electron. Colloquium Comput. Complex. Sourav Chakraborty, Eldar Fischer, Arie Matsliah
2010	J	`jnl`	Underapproximation for model-checking based on universal circuits. Inf. Comput. Arie Matsliah, Ofer Strichman
2009	J	`jnl`	Hardness and Algorithms for Rainbow Connectivity CoRR Sourav Chakraborty, Eldar Fischer, Arie Matsliah, Raphael Yuster
2009	A	`conf`	Hardness and Algorithms for Rainbow Connectivity. STACS Sourav Chakraborty, Eldar Fischer, Arie Matsliah, Raphael Yuster
2009	—	`conf`	Learning Parities in the Mistake-Bound model. Algebraic Methods in Computational Complexity Harry Buhrman, David García-Soriano, Arie Matsliah
2009	J	`jnl`	Learning parities in the mistake-bound model. Electron. Colloquium Comput. Complex. Harry Buhrman, David García-Soriano, Arie Matsliah
2009	J	`jnl`	Sound 3-Query PCPPs Are Long. ACM Trans. Comput. Theory Eli Ben-Sasson, Prahladh Harsha, Oded Lachish, Arie Matsliah
2008	—	`conf`	On the Query Complexity of Testing Orientations for Being Eulerian. APPROX-RANDOM Eldar Fischer, Oded Lachish, Ilan Newman, Arie Matsliah, Orly Yahalom
2008	—	`—`	Property testing and combinatorial approximation. Arie Matsliah
2008	—	`conf`	Sound 3-Query PCPPs Are Long. ICALP (1) Eli Ben-Sasson, Prahladh Harsha, Oded Lachish, Arie Matsliah
2008	J	`jnl`	Testing Graph Isomorphism. SIAM J. Comput. Eldar Fischer, Arie Matsliah
2007	A*	`conf`	Approximate Hypergraph Partitioning and Applications. FOCS Eldar Fischer, Arie Matsliah, Asaf Shapira
2007	J	`jnl`	Sound 3-query PCPPs are Long. Electron. Colloquium Comput. Complex. Arie Matsliah, Eli Ben-Sasson, Prahladh Harsha, Oded Lachish
2007	—	`conf`	Testing APPROX-RANDOM Sourav Chakraborty, Eldar Fischer, Oded Lachish, Arie Matsliah, Ilan Newman
2007	A*	`conf`	Underapproximation for Model-Checking Based on Random Cryptographic Constructions. CAV Arie Matsliah, Ofer Strichman
2006	A*	`conf`	Testing graph isomorphism. SODA Eldar Fischer, Arie Matsliah