Gradual Consistency Checking.

Rachid Zennou Ahmed Bouajjani Constantin Enea Mohammed Erradi

Published in: CAV (2) (2019)

Keyphrases

consistency checking
stochastic search
query answering
temporal reasoning
temporal constraints
data management
constraint satisfaction problems
global consistency
cardinal directions
database
databases
computer vision
search space
arc consistency