Synthesizing Self-stabilization through Superposition and Backtracking.

Alex P. Klinkhamer Ali Ebnenasir

Published in: SSS (2014)

Keyphrases

constraint satisfaction
dependency directed backtracking
search algorithm
search space
theorem proving
video stabilization
search tree
open loop
real world
search engine
object recognition
constraint satisfaction problems
image stabilization
backtracking search
conflict directed