Compressing UNSAT CDCL Trees with Caching.

Anthony Blomme Daniel Le Berre Anne Parrain Olivier Roussel

Published in: ICAART (3) (2024)

Keyphrases

sat solvers
constraint satisfaction
orders of magnitude
search strategies
propositional satisfiability
search space
search tree
sat problem
max sat
sat instances
tree structure
clause learning
sat encodings
search algorithm
reinforcement learning
objective function