CNNSAT: FAST, ACCURATE BOOLEAN SATISFIA-
Deep Learning for Algorithm Portfolios