Non-Redundant Implicational Base of Many-Valued Context Using SAT

Taufiq Hidayat, Asmala bin Ahmad, Mohammad Ishak Desa. Non-Redundant Implicational Base of Many-Valued Context Using SAT. Computers and Artificial Intelligence, 40(2), 2021. [doi]

Abstract

Abstract is missing.