A More Pragmatic CDCL for IsaSAT and Targetting LLVM (Short Paper).

Mathias Fleury Peter Lammich

Published in: CADE (2023)

Keyphrases

sat solvers
sat encodings
orders of magnitude
sat problem
search strategies
search space
evolutionary algorithm
max sat
sat instances
propositional satisfiability
clause learning
simulated annealing
search tree