Restart Strategy Selection using Machine Learning Techniques

07/29/2009
by   Shai Haim, et al.
0

Restart strategies are an important factor in the performance of conflict-driven Davis Putnam style SAT solvers. Selecting a good restart strategy for a problem instance can enhance the performance of a solver. Inspired by recent success applying machine learning techniques to predict the runtime of SAT solvers, we present a method which uses machine learning to boost solver performance through a smart selection of the restart strategy. Based on easy to compute features, we train both a satisfiability classifier and runtime models. We use these models to choose between restart strategies. We present experimental results comparing this technique with the most commonly used restart strategies. Our results demonstrate that machine learning is effective in improving solver performance.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/27/2020

CDCL(Crypto) SAT Solvers for Cryptanalysis

Over the last two decades, we have seen a dramatic improvement in the ef...
research
12/17/2021

ML Supported Predictions for SAT Solvers Performance

In order to classify the indeterministic termination behavior of the ope...
research
10/05/2017

QFUN: Towards Machine Learning in QBF

This paper reports on the QBF solver QFUN that has won the non-CNF track...
research
01/16/2020

A meta analysis of tournaments and an evaluation of performance in the Iterated Prisoner's Dilemma

The Iterated Prisoner's Dilemma has been used for decades as a model of ...
research
06/02/2020

Good pivots for small sparse matrices

For sparse matrices up to size 8 × 8, we determine optimal choices for p...
research
08/08/2012

A Dynamic Phase Selection Strategy for Satisfiability Solvers

The phase selection is an important of a SAT Solver based on conflict-dr...
research
11/05/2012

Algorithm Runtime Prediction: Methods & Evaluation

Perhaps surprisingly, it is possible to predict how long an algorithm wi...

Please sign up or login with your details

Forgot password? Click here to reset