Sign in
Boosting the Performance of CDCL-Based SAT Solvers by Exploiting Backbones and Backdoors.
Tasniem Nasser Al-Yahya
Mohamed El Bachir Menai
Hassan Mathkour
Published in:
Algorithms (2022)
Keyphrases
</>
sat solvers
sat instances
orders of magnitude
constraint satisfaction
search space
boolean satisfiability
max sat
search tree
sat problem
propositional satisfiability
sat solving
search strategies
learning algorithm
answer sets
boolean formula
clause learning
constraint satisfaction problems
optimal solution