Branching Strategy Selection Approach Based on Vivification Ratio

12/11/2021
by   Mao Luo, et al.
0

The two most effective branching strategies LRB and VSIDS perform differently on different types of instances. Generally, LRB is more effective on crafted instances, while VSIDS is more effective on application ones. However, distinguishing the types of instances is difficult. To overcome this drawback, we propose a branching strategy selection approach based on the vivification ratio. This approach uses the LRB branching strategy more to solve the instances with a very low vivification ratio. We tested the instances from the main track of SAT competitions in recent years. The results show that the proposed approach is robust and it significantly increases the number of solved instances. It is worth mentioning that, with the help of our approach, the solver Maple_CM can solve more than 16 instances for the benchmark from the 2020 SAT competition.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/01/2011

Simple Algorithm Portfolio for SAT

The importance of algorithm portfolio techniques for SAT has long been n...
research
05/05/2015

The Configurable SAT Solver Challenge (CSSC)

It is well known that different solution strategies work well for differ...
research
10/31/2011

SATzilla: Portfolio-based Algorithm Selection for SAT

It has been widely observed that there is no single "dominant" SAT solve...
research
02/09/2021

Lower Bounds on the Integraliy Ratio of the Subtour LP for the Traveling Salesman Problem

In this paper we investigate instances with high integrality ratio of th...
research
05/31/2017

Towards Learned Clauses Database Reduction Strategies Based on Dominance Relationship

Clause Learning is one of the most important components of a conflict dr...
research
09/07/2020

Collaborative Management of Benchmark Instances and their Attributes

Experimental evaluation is an integral part in the design process of alg...
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...

Please sign up or login with your details

Forgot password? Click here to reset