Login / Signup

Henkin Quantifiers and Boolean Formulae.

Valeriy BalabanovHui-Ju Katherine ChiangJie-Hong Roland Jiang
Published in: SAT (2012)
Keyphrases
  • boolean formulae
  • boolean variables
  • first order logic
  • expressive power
  • conjunctive normal form
  • natural language
  • phase transition