A Case for Efficient Solution Enumeration.

Sarfraz Khurshid Darko Marinov Ilya Shlyakhter Daniel Jackson

Published in: SAT (2003)

Keyphrases

efficient solutions
neural network
linear equations
information systems
highly efficient
mathematical model
computationally efficient
lightweight
search space
polynomial equations
databases
artificial neural networks
multi agent systems
reinforcement learning
case study
website
artificial intelligence
real world