Proposition matrix search algorithm for satisfiability degree computation.

Jian Luo Guiming Luo

Published in: IEEE ICCI (2010)

Keyphrases

search algorithm
satisfiability problem
linear algebra
heuristic search
square root
data sets
search space
np complete
branch and bound
knowledge base
lower bound
propositional logic
matrix representation
coefficient matrix
matrix multiplication