#### Filter Results:

#### Publication Year

2004

2013

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

It is well known that the ratio of the number of clauses to the number of variables in a random k-SAT instance is highly correlated with the instance's empirical hardness. We consider the problem of identifying such features of random SAT instances automatically using machine learning. We describe and analyze models for three SAT solvers—kcnfs, oksolver and… (More)

- Kevin Leyton-Brown, Holger H Hoos, Frank Hutter, Lin Xu, Galen Andrew, Alex Devkar +1 other
- 2013

Problems are intractable when they " can be solved, but not fast enough for the solution to be usable " [13]. NP-complete problems are commonly said to be intractable; however, the reality is more complex. All known algorithms for solving NP-complete problems require exponential time in the worst case; however, these algorithms nevertheless solve many… (More)

- ‹
- 1
- ›