Login / Signup

Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas.

Reinhold Letz
Published in: TABLEAUX (2002)
Keyphrases
  • decision procedures
  • probabilistic model
  • quantified boolean formulas
  • objective function
  • special case
  • probability distribution
  • cellular automata
  • theorem proving