Separating Bounded Arithmetics by Herbrand Consistency

Published in: CoRR (2010)

Keyphrases

logic programs
logic programming
databases
case study
multiscale
relational databases
data sets
computer vision
search algorithm
first order logic
constraint networks
consistency checking