The Quest for Efficient Boolean Satisfiability Solvers.

Lintao Zhang Sharad Malik

Published in: CAV (2002)

Keyphrases

lightweight
database systems
wide range
cooperative
mobile robot
databases
machine learning
search algorithm
evolutionary algorithm