Heaps and Data Structures: A Challenge for Automated Provers.

Sascha Böhme Michal Moskal

Published in: CADE (2011)

Keyphrases

data structure
semi automated
fully automated
efficient data structures
theorem proving
neural network
multidimensional data
context sensitive
computer assisted
data sets
fully automatic
probabilistic model
image segmentation
artificial intelligence
genetic algorithm
automated classification
kd trees