Travelled to:1 × Germany
1 × Iceland
1 × Italy
1 × Portugal
1 × Switzerland
Collaborated with:A.Ivrii O.Strichman S.Chakraborty D.García-Soriano A.Belov J.Marques-Silva Y.Ben-Haim O.Margalit E.Ben-Sasson P.Harsha O.Lachish H.Chockler S.F.Rollini N.Sharygina
Talks about:effici (2) underapproxim (1) cryptograph (1) constraint (1) extractor (1) construct (1) variabl (1) satisfi (1) perfect (1) entropi (1)
Person: Arie Matsliah
DBLP: Matsliah:Arie
Contributed to:
2013
2012
20112008
2007Wrote 7 papers:
- SAC-2013-ChocklerIMRS #satisfiability #using
- Using cross-entropy for satisfiability (HC, AI, AM, SFR, NS), pp. 1196–1203.
- SAT-2012-BelovIMM #on the #performance
- On Efficient Computation of Variable MUSes (AB, AI, AM, JMS), pp. 298–311.
- SAT-2012-Ben-HaimIMM #constraints #encoding
- Perfect Hashing and CNF Encodings of Cardinality Constraints (YBH, AI, OM, AM), pp. 397–409.
- ICALP-v1-2011-ChakrabortyGM #performance
- Efficient Sample Extractors for Juntas with Applications (SC, DGS, AM), pp. 545–556.
- ICALP-A-2008-Ben-SassonHLM
- Sound 3-Query PCPPs Are Long (EBS, PH, OL, AM), pp. 686–697.
- CAV-2007-MatsliahS #approximate #encryption #model checking #random
- Underapproximation for Model-Checking Based on Random Cryptographic Constructions (AM, OS), pp. 339–351.