Online Estimation of SAT Solving Runtime

Details Online Estimation of SAT Solving Runtime Online Estimation of SAT Solving Runtime

2009-03-04

arxiv.org/abs/0903.0695v1

Computer Science

Artificial Intelligence

6 pages, 3 figures. Proc. of the 11th International Conf. on Theory and Applications of Satisfiability Testing, Guangzhou, Chi

Scientific paper

We present an online method for estimating the cost of solving SAT problems. Modern SAT solvers present several challenges to estimate search cost including non-chronological backtracking, learning and restarts. Our method uses a linear model trained on data gathered at the start of search. We show the effectiveness of this method using random and structured problems. We demonstrate that predictions made in early restarts can be used to improve later predictions. We also show that we can use such cost estimations to select a solver from a portfolio.

Affiliated with

Also associated with

No associations

Rating

Online Estimation of SAT Solving Runtime does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Online Estimation of SAT Solving Runtime, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Online Estimation of SAT Solving Runtime will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-368778