• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Yongjie XuFu SongTaolue 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