Automatically Proving and Disproving Feasibility Conditions.

Raúl Gutiérrez Salvador Lucas

Published in: IJCAR (2) (2020)

Keyphrases

sufficient conditions
genetic algorithm
user defined
automatically generated
decision trees
image sequences
support vector
expert systems
mobile devices
practical application
environmental conditions