Effectively Monadic Predicates.

Margus Veanes Nikolaj Bjørner Lev Nachmanson Sergey Bereg

Published in: LPAR (short papers) (2013)

Keyphrases

datalog programs
three dimensional
information retrieval
decision making
data model
database
data mining
artificial intelligence
information systems
evolutionary algorithm
mobile robot
deductive databases