A lattice formulation of the F4 completion procedure.

Cyrille Chenavier

Published in: CoRR (2017)

Keyphrases

iterative procedure
optimization procedure
knuth bendix
search procedure
information systems
mixed integer program
set theoretic
unified framework
data sets
databases
information retrieval
simulated annealing
probabilistic formulation