Research Publications
All Journal Publication - 2008 | |
| Narrow your search | 3 result(s) |
By Type By Year By Research Group | The key to efficient on-the-fly reachability analysis based on unfolding is to focus the expansion of the finite prefix towards the desired marking. However, current unfolding strategies typically equate to blind (breadth-first) search. They do not ... In this paper we describe a stochastic local search (SLS) procedure for finding \Omit{satisfying }models of satisfiable propositional formulae. This new algorithm, gNovelty$^+$, draws on the features of two other WalkSAT family algorithms: AdaptNovelty... |