Login / Signup

Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving.

Vincent ValladeLudovic Le FriouxSouheib BaarirJulien SopenaVijay GaneshFabrice Kordon
Published in: SAT (2020)
Keyphrases
  • sat solving
  • sat solvers
  • clause learning
  • boolean satisfiability
  • sat problem
  • search space
  • metaheuristic
  • search strategies
  • symmetry breaking