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

Taufiq Hidayat Asmala bin Ahmad Hea Choon Ngo

Published in: PeerJ Comput. Sci. (2024)

Keyphrases

constraint satisfaction
search algorithm
data model
contextual information
context sensitive
formal model
context aware
linear constraints
constraint programming
search strategies
sat solvers
geometric constraints
propositional satisfiability