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

Taufiq Hidayat Asmala bin Ahmad Mohammad Ishak Desa

Published in: Comput. Informatics (2021)

Keyphrases

satisfiability problem
search algorithm
sat solvers
sat problem
search strategies
data sets
neural network
constraint satisfaction problems
max sat
propositional satisfiability
sat encodings
sat solving
eliminate redundant
backtracking search