Login / Signup

On Boolean Models for Quantified Boolean Horn Formulas.

Hans Kleine BüningK. SubramaniXishun Zhao
Published in: SAT (2003)
Keyphrases
  • real valued
  • boolean functions
  • probabilistic model
  • database
  • machine learning
  • artificial intelligence
  • prior knowledge