Learning Unified Graph and Language Representations for SMT Algorithm Selection.

Zhengyang Lu, Paul Sarnighausen-Cahn, Jiahao Chen, Arie Gurfinkel, Florin Manea, Vijay Ganesh

Browse the full CP paper archive.