Solving Bit-Vector Equations.

M. Oliver Möller Harald Rueß

Published in: FMCAD (1998)

Keyphrases

bit vector
nonlinear equations
polynomial equations
bit vectors
set of linear equations
data mining
information retrieval
information systems
three dimensional
multi agent
mathematical model
combinatorial optimization
linear equations
jigsaw puzzle