Lösen von Booleschen Formeln mit Henkin-Quantoren.

Published in: MBMV (2016)

Keyphrases

test set
massachusetts institute of technology
data sets
database
image processing
learning algorithm
training set