NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment.

Gábor Alagi Christoph Weidenbach

Published in: FroCos (2015)

Keyphrases

bounded model checking
data sets
databases
satisfiability problem
learning algorithm
multiscale
cooperative
search algorithm
digital libraries
pairwise