New Integral Approach to the Specification of STPU-Solutions.

Krystian Jobczyk Antoni Ligeza Krzysztof Kluza

Published in: ICAISC (2) (2016)

Keyphrases

similar problems
high level
optimal solution
feasible solution
neural network
learning algorithm
artificial intelligence
image processing
decision trees
case study
database systems
benchmark problems
formal verification