ArticlePeerJ. Computer science2024
Non-redundant implicational base of formal context with constraints using SAT.
Taufiq Hidayat et al.PubMed ↗Full text ↗Publisher ↗
No numbers read from the abstract.
ArticlePeerJ. Computer science2024
Taufiq Hidayat et al.PubMed ↗Full text ↗Publisher ↗
No numbers read from the abstract.