Login / Signup

On Models for Quantified Boolean Formulas.

Hans Kleine BüningXishun Zhao
Published in: Logic versus Approximation (2004)
Keyphrases
  • probabilistic model
  • quantified boolean formulas
  • artificial intelligence