Explaining Counterexamples with Giant-Step Assertion Checking.

Benedikt F. H. Becker Cláudio Belo Lourenço Claude Marché

Published in: F-IDE@NFM (2021)

Keyphrases

information retrieval
social networks
databases
cooperative
post processing
neural network
learning algorithm
support vector
preprocessing step