On the finite and general implication problems of independence atoms and keys.

Miika Hannula Juha Kontinen Sebastian Link

Published in: J. Comput. Syst. Sci. (2016)

Keyphrases

special case
logic programs

real time
optimization problems

closely related
problems involving

neural network
combinatorial optimization