C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
2LS for Program Analysis - (Competition Contribution).
Peter Schrammel
Daniel Kroening
Published in:
TACAS (2016)
Keyphrases
</>
expert systems
neural network
data mining
information systems
decision trees
dynamic programming
state space
international competition