Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems.

Radu Mateescu Emilie Oudot

Published in: SPIN (2008)

Keyphrases

building blocks
data mining
distributed systems
computer systems
complex systems
boolean functions
information retrieval
artificial intelligence
image processing
website
clustering algorithm
intelligent systems
learning systems
mathematical model