Lemmas on Demand for Lambdas.

Mathias Preiner Aina Niemetz Armin Biere

Published in: DIFTS@FMCAD (2013)

Keyphrases

theorem proving
cloud computing
theorem prover
decision making
real time
data sets
databases
information systems
three dimensional
feature extraction
search algorithm
high dimensional
user interface
evolutionary algorithm
inference rules
proof search