Using cross-entropy for satisfiability
- Hana Chockler
- Alexander Ivrii
- et al.
- 2013
- SAC 2013
Publications
Date
Featured collections
Popular topics
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
Incremental formal verification of hardware
- Hana Chockler
- Alexander Ivrii
- et al.
- 2011
- FMCAD 2011
On the query complexity of testing orientations for being Eulerian
- Eldar Fischer
- Oded Lachish
- et al.
- 2012
- ACM Transactions on Algorithms
Underapproximation for model-checking based on universal circuits
- Arie Matsliah
- Ofer Strichman
- 2010
- Information and Computation