Login / Signup
Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas.
Uwe Bubeck
Hans Kleine Büning
Xishun Zhao
Published in:
SAT (2005)
Keyphrases
</>
desirable properties