ESampler: Boosting sampling of satisfying assignments for Boolean formulas via derivation.

Yongjie Xu Fu Song Taolue Chen

Published in: J. Syst. Archit. (2022)

Keyphrases

boolean formula
conjunctive normal form
practical problems
linear constraints
unsatisfiable cores
learning algorithm
sat solvers
np complete
dynamic programming
sample size
machine translation