Login / Signup
Quantifier Elimination for Statistical Problems
Dan Geiger
Christopher Meek
Published in:
CoRR (2013)
Keyphrases
</>
quantifier elimination
constraint propagation
natural language
search algorithm