Lemmas on Demand for the Extensional Theory of Arrays.

Robert Brummayer Armin Biere

Published in: J. Satisf. Boolean Model. Comput. (2009)

Keyphrases

databases
theoretical framework
theoretical basis
general theory
machine learning
theorem prover
neural network
real world
relational databases
cloud computing
computational models