Using Cross-Entropy for Satisfiability

TitleUsing Cross-Entropy for Satisfiability
Publication TypeConference Paper
Year of Publication2013
AuthorsChockler, H., Ivrii A., Matsliah A., Rollini S.F., and Sharygina Natasha
Conference NameACM Symposium on Applied Computing (SAC)
Full Text