publicações selecionadas Extracting concepts from triadic contexts using Binary Decision Diagram Uso de BDD ´s na análise formal de conceitos estudo de caso trias? A Hybrid Approach to Solve SAT and UNSAT Problems Algoritmo Distribuído para Exploração de Cláusulas com Bounded Model Checking através de uma Busca em Profundidade “Applying Binary Decision Diagram to extract concepts and association rules from triadic contexts” Exploring Different Paradigms to Extract Proper Implications From High Dimensional Formal Contexts
