The consistency strength of hyperstationarity.

Joan Bagaria Menachem Magidor Salvador Mancilla

Published in: J. Math. Log. (2020)

Keyphrases

consistency checking
global consistency
relational databases
database
data mining
artificial intelligence
computer vision
three dimensional
optimal solution
maintaining consistency