Login / Signup
Optimizing Proof Search in Model Elimination.
John Harrison
Published in:
CADE (1996)
Keyphrases
</>
high level
formal model
data model
probabilistic model