DDS: Deadlock Detector and Solver.

Eman Aldakheel Ugo A. Buy Simran Kaur

Published in: ISSRE Workshops (2018)

Keyphrases

quantified boolean formulas
neural network
search engine
information systems
decision trees
three dimensional
hidden markov models
detection algorithm
object detectors
tree search
constraint solving
pre trained
negative selection algorithm