Non-Redundant Implicational Base of Many-Valued Context Using SAT. - Taufiq Hidayat; Asmala bin Ahmad; Mohammad Ishak Desa (Comput. Informatics, 2021)

Non-redundant implicational base of formal context with constraints using SAT. - Taufiq Hidayat; Asmala bin Ahmad; Hea Choon Ngo (PeerJ Comput. Sci., 2024)