Solving Boolean Equations Using ROSOP Forms.

Yuke Wang Carl McCrosky

Published in: IEEE Trans. Computers (1998)

Keyphrases

nonlinear equations
polynomial equations
algebraic equations
real valued
set of linear equations
numerical solution
differential equations
boolean functions
mathematical model
information retrieval
np complete
solving problems
level set
expert systems
data structure
reinforcement learning
knowledge base