Login / Signup
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