Tuning the Alt-Ergo SMT Solver for B Proof Obligations.

Sylvain Conchon Mohamed Iguernelala

Published in: ABZ (2014)

Keyphrases

statistical machine translation
theorem prover
mathematical proofs
theorem proving
constraint solver
data sets
linear logic
rule selection
quantified boolean formulas