Login / Signup

Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework.

Ludovic Le FriouxSouheib BaarirJulien SopenaFabrice Kordon
Published in: TACAS (1) (2019)
Keyphrases
  • sat solvers
  • data structure
  • evolutionary algorithm
  • sat instances