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).

An Extension of the Davis-Putnam Procedure and its Application to Preprocessing in SMT

TitleAn Extension of the Davis-Putnam Procedure and its Application to Preprocessing in SMT
Publication TypeConference Paper
Year of Publication2009
AuthorsBruttomesso, R.
Conference Name7th International Workshop on Satisfiability Modulo Theories (SMT)
PublisherACM
Conference LocationMontreal, Canada
Full Text