Efficient solution of systems of Boolean equations.

Scott Woods Giorgio Casinovi

Published in: ICCAD (1996)

Keyphrases

linear systems
linear equations
learning systems
management system
mathematical model
digital libraries
cost effective
closed form
polynomial equations
data sets
machine learning
decision trees
search algorithm
np hard
lightweight