On using SAT to ordered escape problems.

Lijuan Luo Martin D. F. Wong

Published in: ASP-DAC (2009)

Keyphrases

np complete
real time
data sets
information retrieval
decision problems
satisfiability problem
problems involving
backtracking search
database
neural network
evolutionary algorithm
optimization problems
randomly generated
np complete problems