Login / Signup

Algorithmic issues of AND-decomposition of boolean formulas.

Pavel G. EmelyanovDenis K. Ponomaryov
Published in: Program. Comput. Softw. (2015)
Keyphrases
  • boolean formula
  • practical problems
  • unsatisfiable cores
  • data structure
  • lower bound
  • orders of magnitude
  • sat solvers
  • boolean variables