Minimum multiple characterization of biological data using partially defined boolean formulas
Fabien Chhel, Frédéric Lardeux, Adrien Goëffon, Frédéric Saubion · 2012
In this paper, we adress a characterization problem coming from plant biology. We consider different groups of experiments, each corresponding to the indentification of a given bacteria with regards to a given set of characters for diagnosis purposes. We have to compute simultaneously a complete minimal set of characterization formulas for each group. We propose two different approaches, based on Boolean functions, that allow us to study the satisfiability and the underlying complexity of this problem.