SATzilla: Portfolio-based Algorithm Selection for SAT

SATzilla: Portfolio-based Algorithm Selection for SAT
Lin Xu, Frank Hutter, Holger H. Hoos, and Kevin Leyton-Brown, 2008

Download

[HTML] 

Abstract

(unavailable)

BibTeX Entry

@Article{Xu+HHL:2008,
  author =       "Xu, Lin and Hutter, Frank and Hoos, Holger H. and Leyton-Brown, Kevin",
  title =        "{SATzilla}: Portfolio-based Algorithm Selection for {SAT}",
  journal =      "Journal of Artificial Intelligence Research",
  year =         "2008",
  volume =    "32",
  pages =     "565--606",
  url = "http://people.cs.ubc.ca/~kevinlb/pub.php?u=SATzilla-full.pdf",
  bib2html_rescat = "Parameter",
}