Login / Signup

Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas.

Uwe BubeckHans Kleine BüningXishun Zhao
Published in: SAT (2005)
Keyphrases
  • desirable properties