Un-Kleene Boolean equation Solving.

Brian Herlihy Peter Schachte Harald Søndergaard

Published in: Int. J. Found. Comput. Sci. (2007)

Keyphrases

nonlinear equations
real valued
mathematical model
vector field
differential equations
boolean functions
numerical methods
databases
data mining
genetic algorithm
reinforcement learning
linear programming
propositional logic
solving problems