Login / Signup

General Boolean Formula Minimization with QBF Solvers.

Eduardo CalòJordi Levy
Published in: CoRR (2023)
Keyphrases
  • boolean formula
  • special case
  • machine learning
  • learning algorithm
  • data structure
  • inference rules