Challenges in Decomposing Encodings of Verification Problems.

Peter Schrammel

Published in: HCVS@ETAPS (2016)

Keyphrases

main problems
open questions
open issues
real world
data mining
difficult problems
application scenarios
technical challenges
problems involving
lessons learned
optimization problems
database
information technology
computational complexity
social networks
learning algorithm
genetic algorithm
neural network