Sign in

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

Mathias FleuryPeter 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