Experiments with Elliptic Problem Solvers on the Cedar Multicluster.

G. Frank Efstratios Gallopoulos Ulrike Meier

Published in: PPSC (1989)

Keyphrases

sat solvers
fourier descriptors
databases
neural network
computationally hard problems
database
machine learning
artificial intelligence
bayesian networks
artificial neural networks
search space
sat solving
numerically stable