Table-driven problem solvers.

David S. Burris Kurt A. Schember

Published in: ACM Southeast Regional Conference (1980)

Keyphrases

sat solvers
quantified boolean formulas
expert systems
neural network
relational databases
databases
machine learning
data structure
special case
highly optimized