On the problems of developing KLEE based symbolic interpreter of binary files.

Vasiliy Kononov Victor A. Rusakov

Published in: BICA (2018)

Keyphrases

databases
simplex method
solving problems
genetic algorithm
production system
image processing
upper bound
least squares
constraint satisfaction
combinatorial optimization
non binary