Borg
Released 2011

The borg project includes a practical algorithm portfolio for difficult computational problems (including SAT, PB, and MAX-SAT), and a toolkit for dealing with solvers for such problems. The borg algorithm portfolio placed first in the international pseudo-Boolean solver competition both years that it participated, in 2010 and 2011.

Source code and multiple large data sets are available on its web site.

People
Bryan Silverthorn Ph.D. Alumni bsilvert [at] cs utexas edu
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).
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.
Projects
Borg: A General-Purpose Algorithm Portfolio System 2009 - 2013
Areas of Interest
Algorithm Portfolios Answer Set Programming Applications Learning for Planning and Problem Solving Satisfiability
Demos
Model-Based Visualization of Solver Performance DataBryan Silverthorn2011
Labs
Neural Networks