Arie Matsliah - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 44 from 44

2016

On the Power of Conditional Samples in Distribution TestingSourav Chakraborty 0001, Eldar Fischer, Yonatan Goldhirsh, Arie Matsliah. SICOMP, 45(4):1261-1296, 2016. [doi]

2014

Query Complexity Lower Bounds for Reconstruction of CodesSourav Chakraborty, Eldar Fischer, Arie Matsliah. toc, 10:515-533, 2014. [doi]

2013

2012

IC3-guided abstractionJason Baumgartner, Alexander Ivrii, Arie Matsliah, Hari Mony. FMCAD 2012: 182-185 [doi]

On Efficient Computation of Variable MUSesAnton Belov, Alexander Ivrii, Arie Matsliah, João Marques-Silva. sat 2012: 298-311 [doi]

Perfect Hashing and CNF Encodings of Cardinality ConstraintsYael Ben-Haim, Alexander Ivrii, Oded Margalit, Arie Matsliah. sat 2012: 397-409 [doi]

Monotonicity testing and shortest-path routing on the cubeJop Briët, Sourav Chakraborty, David García-Soriano, Arie Matsliah. combinatorica, 32(1):35-53, 2012. [doi]

Junto-Symmetric Functions, Hypergraph Isomorphism and CrunchingSourav Chakraborty, Eldar Fischer, David García-Soriano, Arie Matsliah. coco 2012: 148-158 [doi]

On the Power of Conditional Samples in Distribution TestingSourav Chakraborty, Eldar Fischer, Yonatan Goldhirsh, Arie Matsliah. eccc, 19:154, 2012. [doi]

Computing Interpolants without ProofsHana Chockler, Alexander Ivrii, Arie Matsliah. hvc 2013: 72-85 [doi]

On the query complexity of testing orientations for being EulerianEldar Fischer, Oded Lachish, Arie Matsliah, Ilan Newman, Orly Yahalom. TALG, 8(2):15, 2012. [doi]

Relating Proof Complexity Measures and Practical Hardness of SATMatti Järvisalo, Arie Matsliah, Jakob Nordström, Stanislav Zivny. cp 2012: 316-331 [doi]

Augmenting Clause Learning with Implied Literals - (Poster Presentation)Arie Matsliah, Ashish Sabharwal, Horst Samulowitz. sat 2012: 500-501 [doi]

2011

Detecting and exploiting near-sortedness for efficient relational query evaluationSagi Ben-Moshe, Yaron Kanza, Eldar Fischer, Arie Matsliah, Mani Fischer, Carl Staelin. icdt 2011: 256-267 [doi]

Nearly Tight Bounds for Testing Function IsomorphismSourav Chakraborty, David García-Soriano, Arie Matsliah. soda 2011: 1683-1702 [doi]

Efficient Sample Extractors for Juntas with ApplicationsSourav Chakraborty, David García-Soriano, Arie Matsliah. icalp 2011: 545-556 [doi]

Cycle Detection, Order Finding and Discrete Log with JumpsSourav Chakraborty, David García-Soriano, Arie Matsliah. innovations 2011: 284-297 [doi]

Query Complexity Lower Bounds for Reconstruction of CodesSourav Chakraborty, Eldar Fischer, Arie Matsliah. innovations 2011: 264-274 [doi]

Hardness and algorithms for rainbow connectionSourav Chakraborty, Eldar Fischer, Arie Matsliah, Raphael Yuster. jco, 21(3):330-347, 2011. [doi]

Incremental formal verification of hardwareHana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo. FMCAD 2011: 135-143 [doi]

2010

Monotonicity Testing and Shortest-Path Routing on the CubeJop Briët, Sourav Chakraborty, David García-Soriano, Arie Matsliah. approx 2010: 462-475 [doi]

Learning parities in the mistake-bound modelHarry Buhrman, David García-Soriano, Arie Matsliah. ipl, 111(1):16-21, 2010. [doi]

Nearly Tight Bounds for Testing Function IsomorphismSourav Chakraborty, David García-Soriano, Arie Matsliah. eccc, 17:93, 2010. [doi]

New Results on Quantum Property TestingSourav Chakraborty, Eldar Fischer, Arie Matsliah, Ronald de Wolf. fsttcs 2010: 145-156 [doi]

Query Complexity Lower Bounds for Reconstruction of CodesSourav Chakraborty, Eldar Fischer, Arie Matsliah. eccc, 17:67, 2010. [doi]

Approximate Hypergraph Partitioning and ApplicationsEldar Fischer, Arie Matsliah, Asaf Shapira. SICOMP, 39(7):3155-3185, 2010. [doi]

Monotonicity Testing and Shortest-Path Routing on the CubeDavid García-Soriano, Arie Matsliah, Sourav Chakraborty, Jop Briët. eccc, 17:48, 2010. [doi]

Underapproximation for model-checking based on universal circuitsArie Matsliah, Ofer Strichman. iandc, 208(4):315-326, 2010. [doi]

2009

2008

Sound 3-Query PCPPs Are LongEli Ben-Sasson, Prahladh Harsha, Oded Lachish, Arie Matsliah. icalp 2008: 686-697 [doi]

Testing Graph IsomorphismEldar Fischer, Arie Matsliah. SICOMP, 38(1):207-225, 2008. [doi]

On the Query Complexity of Testing Orientations for Being EulerianEldar Fischer, Oded Lachish, Ilan Newman, Arie Matsliah, Orly Yahalom. approx 2008: 402-415 [doi]

Property testing and combinatorial approximationArie Matsliah. PhD thesis, Technion - Israel Institute of Technology, Israel, 2008. [doi]

2007

2006

Testing graph isomorphismEldar Fischer, Arie Matsliah. soda 2006: 299-308 [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Arie Matsliah'

Viewing Publication 1 - 44 from 44

2016

2014

2013

2012

2011

2010

2009

2008

2007

2006

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Arie Matsliah'

Viewing Publication 1 - 44 from 44

2016

2014

2013

2012

2011

2010

2009

2008

2007

2006

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1