The Quest for Efficient Boolean Satisfiability Solvers.

Lintao Zhang Sharad Malik

Published in: CADE (2002)

Keyphrases

similarity measure
real world
multimedia
web services
cooperative
digital libraries
relational databases
user interface
lightweight
cost effective
real valued