Error message

Strict warning: Only variables should be passed by reference in theme_biblio_tabular() (line 285 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).

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