Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning.

Alessandro Armando Luca Compagna

Published in: FORTE (2002)

Keyphrases

heuristic search
sat solving
search algorithm
classical planning
blocks world
fully automatic
practical problems
propositional satisfiability
state space
lightweight
domain independent
search methods
randomly generated
solving problems
stochastic local search algorithms