Spherical Topic Models J Reisinger, A Waters, B Silverthorn, R Mooney NIPS 2009 Workshop: Applications for Topic Models: Text and Beyond, 2009 | 132 | 2009 |
Latent class models for algorithm portfolio methods B Silverthorn, R Miikkulainen Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 167-172, 2010 | 55 | 2010 |
Surviving solver sensitivity: An ASP practitioner’s guide B Silverthorn, Y Lierler, M Schneider | 19 | 2012 |
A Probabilistic Architecture for Algorithm Portfolios B Silverthorn The University of Texas at Austin, 2012 | 5 | 2012 |
Learning polarity from structure in SAT B Silverthorn, R Miikkulainen Theory and Applications of Satisfiability Testing (SAT), 377-378, 2011 | 2 | 2011 |
Models of Search for Portfolio Methods B Silverthorn | | 2009 |
SAT-Race 2010 Solver Description: borg-sat-10.06. 07 B Silverthorn, R Miikkulainen | | |
The borg Algorithm Portfolio (ver. PB-11.04. 03) B Silverthorn, R Miikkulainen | | |