1 paper
Anthony Meunier, Lhouari Nourine, Simon Vilmin
Optimizing an implicational base of a closure system consists in turning this implicational base into an equivalent one with premises and conclusions as small as possible. This tas…