Travelled to:1 × Italy
1 × Portugal
1 × USA
Collaborated with:A.Matsliah V.Balabanov V.Ryvchin O.Strichman A.Belov J.Marques-Silva Y.Ben-Haim O.Margalit H.Chockler S.F.Rollini N.Sharygina
Talks about:increment (2) preprocess (1) constraint (1) variabl (1) satisfi (1) perfect (1) extract (1) entropi (1) backbon (1) effici (1)
Person: Alexander Ivrii
DBLP: Ivrii:Alexander
Contributed to:
2015
20132012Wrote 5 papers:
- SAT-2015-BalabanovI #preprocessor
- Speeding up MUS Extraction with Preprocessing and Chunking (VB, AI), pp. 17–32.
- SAT-2015-IvriiRS #incremental #mining #satisfiability
- Mining Backbone Literals in Incremental SAT — A New Kind of Incremental Data (AI, VR, OS), pp. 88–103.
- 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.