Sign in
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