BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Matsliah:Arie

Contributed to:

SAC 20132013
SAT 20122012
ICALP (1) 20112011
ICALP (1) 20082008
CAV 20072007

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.