Arie Matsliah
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
10
Active years
2006–2013
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | SAC | Using cross-entropy for satisfiability. | Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina |
| 2012 | CP | Relating Proof Complexity Measures and Practical Hardness of SAT. | Matti Jrvisalo, Arie Matsliah, Jakob Nordstrm, Stanislav Zivn |
| 2012 | FMCAD | IC3-guided abstraction. | Jason Baumgartner, Alexander Ivrii, Arie Matsliah, Hari Mony |
| 2012 | SAT | On Efficient Computation of Variable MUSes. | Anton Belov, Alexander Ivrii, Arie Matsliah, Joo Marques-Silva |
| 2012 | SAT | Perfect Hashing and CNF Encodings of Cardinality Constraints. | Yael Ben-Haim, Alexander Ivrii, Oded Margalit, Arie Matsliah |
| 2012 | SAT | Augmenting Clause Learning with Implied Literals - (Poster Presentation). | Arie Matsliah, Ashish Sabharwal, Horst Samulowitz |
| 2011 | FMCAD | Incremental formal verification of hardware. | Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo |
| 2011 | ICALP | Efficient Sample Extractors for Juntas with Applications. | Sourav Chakraborty, David Garca-Soriano, Arie Matsliah |
| 2011 | ICDT | Detecting and exploiting near-sortedness for efficient relational query evaluation. | Sagi Ben-Moshe, Yaron Kanza, Eldar Fischer, Arie Matsliah, Mani Fischer, Carl Staelin |
| 2011 | SODA | Nearly Tight Bounds for Testing Function Isomorphism. | Sourav Chakraborty, David Garca-Soriano, Arie Matsliah |
| 2009 | STACS | Hardness and Algorithms for Rainbow Connectivity. | Sourav Chakraborty, Eldar Fischer, Arie Matsliah, Raphael Yuster |
| 2008 | ICALP | Sound 3-Query PCPPs Are Long. | Eli Ben-Sasson, Prahladh Harsha, Oded Lachish, Arie Matsliah |
| 2007 | CAV | Underapproximation for Model-Checking Based on Random Cryptographic Constructions. | Arie Matsliah, Ofer Strichman |
| 2007 | FOCS | Approximate Hypergraph Partitioning and Applications. | Eldar Fischer, Arie Matsliah, Asaf Shapira |
| 2006 | SODA | Testing graph isomorphism. | Eldar Fischer, Arie Matsliah |