Publications

16 results for Alexander Ivrii

Constrained sampling and counting: Universal hashing meets SAT solving
- - Kuldeep S. Meel
  - Moshe Vardi
  - et al.
- 2016
- AAAI 2016
Conference paper
On computing minimal independent support and its applications to sampling and counting
- - Alexander Ivrii
  - Sharad Malik
  - et al.
- 2015
- Constraints
Paper
Small inductive safe invariants
- - Alexander Ivrii
  - Arie Gurfinkel
  - et al.
- 2014
- FMCAD 2014
Conference paper
The computational complexity of structure-based causality
- - Gadi Aleksandrowicz
  - Hana Chockler
  - et al.
- 2014
- AAAI 2014
Conference paper
Using cross-entropy for satisfiability
- - Hana Chockler
  - Alexander Ivrii
  - et al.
- 2013
- SAC 2013
Conference paper
Incremental formal verification of hardware
- - Hana Chockler
  - Alexander Ivrii
  - et al.
- 2011
- FMCAD 2011
Conference paper