"Non-redundant implicational base of formal context with constraints using SAT."

Taufiq Hidayat, Asmala bin Ahmad, Hea Choon Ngo (2024)

Details and statistics

DOI: 10.7717/PEERJ-CS.1806

access: open

type: Journal Article

metadata version: 2024-02-28

a service of  Schloss Dagstuhl - Leibniz Center for Informatics