(2+ f(n))-SAT and Its Properties.

Xiaotie Deng Chan H. Lee Yunlei Zhao Hong Zhu

Published in: COCOON (2002)

Keyphrases

structural properties
databases
search strategies
desirable properties
real time
genetic algorithm
phase transition
sat solvers
topological properties
sat solving