Login / Signup
Detecting State Encoding Conflicts in STG Unfoldings Using SAT.
Victor Khomenko
Maciej Koutny
Alexandre Yakovlev
Published in:
Fundam. Informaticae (2004)
Keyphrases
</>
cooperative
search strategies
real time
computational complexity
hidden markov models
motion estimation
phase transition
initial state