Using cross-entropy for satisfiability
- Hana Chockler
- Alexander Ivrii
- et al.
- 2013
- SAC 2013
Publications
6 results for Arie Matsliah
On the power of conditional samples in distribution testing
- Sourav Chakraborty
- Eldar Fischer
- et al.
- 2013
- ITCS 2013
Junto-symmetric functions, hypergraph isomorphism and crunching
- Sourav Chakraborty
- Eldar Fischer
- et al.
- 2012
- TCMF 2012
On the query complexity of testing orientations for being Eulerian
- Eldar Fischer
- Oded Lachish
- et al.
- 2012
- ACM Transactions on Algorithms
Incremental formal verification of hardware
- Hana Chockler
- Alexander Ivrii
- et al.
- 2011
- FMCAD 2011
Underapproximation for model-checking based on universal circuits
- Arie Matsliah
- Ofer Strichman
- 2010
- Information and Computation