Efficient SAT-Based Search for Longest Sensitisable Paths.

Matthias Sauer Jie Jiang Alejandro Czutro Ilia Polian Bernd Becker

Published in: Asian Test Symposium (2011)

Keyphrases

search algorithm
search strategy
search space
search strategies
efficient search
search tools
constraint solver
information retrieval
knowledge base
search efficiency
evolutionary algorithm
domain independent
search methods
maximum number