On two-variable guarded fragment logic with expressive local Presburger constraints.

Chia-Hsuan Lu Tony Tan

Published in: CoRR (2022)

Keyphrases

conjunctive queries
constraint satisfaction
modal logic
guarded fragment
database
data mining
search space
multi dimensional
np complete
expressive power
constraint programming