Boolean equation solving as graph traversal.

Brian Herlihy Peter Schachte Harald Søndergaard

Published in: CATS (2006)

Keyphrases

nonlinear equations
boolean functions
real world
denoising
real valued
information retrieval
bayesian networks
numerical methods
numerical solution
runge kutta