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