NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Full Paper).

Gábor Alagi Christoph Weidenbach

Published in: CoRR (2015)

Keyphrases

bounded model checking
satisfiability problem
datalog programs
data sets
information retrieval
decision making
case study
database systems
data structure
data model
wireless sensor networks