C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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