Branching Heuristic Strategy Based on Learnt Clauses Deletion Strategy for SAT Solver
For the SAT solver,most popular branch variable decision-making strategies are based on the variable activity evaluation of conflict.The unassigned variable with the maximum activity is Digital Audio Cable selected as the decision variable,and the most recent conflict is solved first.However,they all ignore the impact of the number of clauses conta