Login / Signup

General Boolean Formula Minimization with QBF Solvers.

Eduardo CalòJordi Levy
Published in: CCIA (2023)
Keyphrases
  • boolean formula
  • special case
  • data structure
  • objective function
  • machine learning
  • optimal solution
  • lower bound
  • constraint satisfaction