@conference {159,
	title = {Using Cross-Entropy for Satisfiability},
	booktitle = {ACM Symposium on Applied Computing (SAC)},
	year = {2013},
	author = {Chockler, H. and Ivrii, A. and Matsliah, A. and Rollini, S.F. and Natasha Sharygina}
}
