A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems.

Published in: TACAS (2003)

Keyphrases

real valued
genetic algorithm
image processing
knowledge based systems
artificial neural networks
management system
computer systems
complex systems
mathematical model