SATzilla: Portfolio-based algorithm selection for SAT (original) (raw)

SATzilla-07 for the 2007 SAT Competition

SATzilla-07 submitted to 2007 SAT Competition

• SATzilla-FULL for all three categories (download)
• SATzilla-RANDOM/HANDMADE for random and handmade categories (download)

Note: we did not submit a version of SATzilla-07 for industrial category in 2007.

SATzilla beyond 2007

• Matlab code for building models for SATzilla+/SATzilla* (download)
• SATzilla+ submitted to the 2008 SAT-RACE (download)
• SATzilla2009 submitted to the 2009 SAT Competition (download)