UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Bryan Silverthorn
Ph.D. Alumni
Graduated from Cornell University in 2005, and from The University of Texas at Austin in 2012. Focused on statistical approaches to search and optimization.
Email:
bsilvert [at] cs utexas edu
Homepage:
http://www.cs.utexas.edu/~bsilvert/
Publications
A Probabilistic Architecture for Algorithm Portfolios
2012
Bryan Silverthorn, PhD Thesis, Department of Computer Science, The University of Texas at Austin.
Surviving Solver Sensitivity: An ASP Practitioner's Guide
2012
Bryan Silverthorn, Yuliya Lierler and Marius Schneider,
International Conference on Logic Programming (ICLP)
(2012).
Learning Polarity from Structure in SAT
2011
Bryan Silverthorn and Risto Miikkulainen, In
Theory and Applications of Satisfiability Testing (SAT)
2011. (extended abstract).
Latent Class Models for Algorithm Portfolio Methods
2010
Bryan Silverthorn and Risto Miikkulainen, In
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence
2010.
Spherical Topic Models
2010
Joseph Reisinger, Austin Waters, Bryan Silverthorn, and Raymond J. Mooney, In
Proceedings of the 27th International Conference on Machine Learning (ICML 2010)
2010.
Spherical Topic Models
2009
Joseph Reisinger, Austin Waters, Bryan Silverthorn, and Raymond Mooney, In
NIPS'09 workshop: Applications for Topic Models: Text and Beyond
2009.
Projects
Borg: A General-Purpose Algorithm Portfolio System
2009 - 2013
Learning Strategic Behavior in Sequential Decision Tasks
2009 - 2014
Areas of Interest
Algorithm Portfolios
Applications
Learning for Planning and Problem Solving
Satisfiability
Unsupervised Learning, Clustering, and Self-Organization
Software/Data
Borg
The borg project
includes a practical algorithm...
2011
Demos
Model-Based Visualization of Solver Performance Data
Bryan Silverthorn
2011
Labs
Formerly affiliated with
Neural Networks