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.

Bryan Silverthorn Ph.D. Alumni bsilvert [at] cs utexas edu
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.