Homomorphism Problems for First-Order Definable Structures.

Bartek Klin Slawomir Lasota Joanna Ochremiak Szymon Torunczyk

Published in: FSTTCS (2016)

Keyphrases

computer vision
relational databases
optimization problems
np complete
problems involving
first order logic
benchmark problems
database systems