Sign in
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework.
Ludovic Le Frioux
Souheib Baarir
Julien Sopena
Fabrice Kordon
Published in:
TACAS (1) (2019)
Keyphrases
</>
sat solvers
data structure
evolutionary algorithm
sat instances